Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
É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.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Contrôle dynamique de la résolution pour les programmes logiques avec contraintesFrédéric Mesnard, Sébastien Hoarau. jfplc 1995: 259-273 Étude de la terminaison des programmes logiques avec contraintes au moyen d approximationsFrédéric Mesnard. jfplc 1994: 205 Inférer et compiler la terminaison des programmes logiques avec contraintesSébastien Hoarau, Frédéric Mesnard. jfplc 1998: 269-286 Approximations entre langages de programmation logique avec contraintesFrédéric Mesnard. jfplc 1993: 319-341
The following publications are possibly variants of this publication: