Étienne Payet, Frédéric Mesnard. Inférence de non-terminaison pour les programmes logiques avec contraintes. In Frédéric Mesnard, editor, Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France. Hermes, 2004.
@inproceedings{PayetM04:0,
title = {Inférence de non-terminaison pour les programmes logiques avec contraintes},
author = {Étienne Payet and Frédéric Mesnard},
year = {2004},
researchr = {https://researchr.org/publication/PayetM04%3A0},
cites = {0},
citedby = {0},
booktitle = {Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France},
editor = {Frédéric Mesnard},
publisher = {Hermes},
isbn = {2-7462-0937-3},
}