Université d'Auvergne, Laboratoire de logique, algorithmique et informatique — 1 œuvres, 2 auteurs