Une nouvelle Methode de Compilation Logique: L'Achèvement par Cycles

Philippe Mathieu () and Olivier Roussel ()
Additional contact information
Philippe Mathieu: LIFL - Laboratoire d'Informatique Fondamentale de Lille - Université de Lille, Sciences et Technologies - Inria - Institut National de Recherche en Informatique et en Automatique - Université de Lille, Sciences Humaines et Sociales - CNRS - Centre National de la Recherche Scientifique, SMAC - Systèmes Multi-Agents et Comportements - CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 - Centrale Lille - Université de Lille - CNRS - Centre National de la Recherche Scientifique
Olivier Roussel: CRIL - Centre de Recherche en Informatique de Lens - UA - Université d'Artois - CNRS - Centre National de la Recherche Scientifique, LIFL - Laboratoire d'Informatique Fondamentale de Lille - Université de Lille, Sciences et Technologies - Inria - Institut National de Recherche en Informatique et en Automatique - Université de Lille, Sciences Humaines et Sociales - CNRS - Centre National de la Recherche Scientifique

Post-Print from HAL

Abstract: No abstract

Date: 1996
References: Add references at CitEc
Citations:

Published in Actes des Journées Francophones de Programmation Logique et Contraintes (JFPLC'96), 1996, undef, France

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hal:journl:hal-00732014

Access Statistics for this paper

More papers in Post-Print from HAL
Bibliographic data for series maintained by CCSD ().