Lucas Bordeaux, Eric Monfroy. Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. In Mireille Ducassé, editor, Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003. pages 189-202, Hermes/Lavoisier, 2003.
@inproceedings{BordeauxM03:0,
title = {Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances},
author = {Lucas Bordeaux and Eric Monfroy},
year = {2003},
researchr = {https://researchr.org/publication/BordeauxM03%3A0},
cites = {0},
citedby = {0},
pages = {189-202},
booktitle = {Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003},
editor = {Mireille Ducassé},
publisher = {Hermes/Lavoisier},
isbn = {2-7462-0739-7},
}