Elimination incrémentale de variables en PLC

Nicolas Singer. Elimination incrémentale de variables en PLC. In Jean-Louis Imbert, editor, JFPLC 96, Cinquièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand, France. pages 185-198, Hermes, 1996.

Abstract

Abstract is missing.