DBLP Record 'conf/jfplc/MesnardNP01'

BibTeX

@inproceedings{DBLP:conf/jfplc/MesnardNP01,
  author    = {Fr{\'e}d{\'e}ric Mesnard and
               Ulrich Neumerkel and
               {\'E}tienne Payet},
  title     = {cTI: un outil pour l'inf{\'e}rence de conditions optimales
               de terminasion pour Prolog},
  booktitle = {JFPLC},
  year      = {2001},
  pages     = {271-286},
  crossref  = {DBLP:conf/jfplc/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/jfplc/2001,
  editor    = {Philippe Codognet},
  title     = {Programmation en logique avec contraintes, Actes des JFPLC'2001,
               24 avril - 27 avril 2001, Cit{\'e} des sciences et de
               l'industrie, Paris},
  booktitle = {JFPLC},
  publisher = {Hermes},
  year      = {2001},
  isbn      = {2-7462-0255-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}