Une Interprétation abstraite en programmation logique avec contraintes

Christophe Lecoutre. Une Interprétation abstraite en programmation logique avec contraintes. In Marc-Michel Corsini, editor, JFPLC 94, IIIèmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 1994, Bordeaux, France. pages 189-204, 1994.

Abstract

Abstract is missing.