Correction et complétude des sémantiques PLC revisitée par (co)-induction

Gérard Ferrand, Alexandre Tessier. Correction et complétude des sémantiques PLC revisitée par (co)-induction. In Olivier Ridoux, editor, JFPLC 98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France. pages 19, Hermes, 1998.

Abstract

Abstract is missing.