DBLP Record 'conf/jfplc/MesnardPN02'

BibTeX

@inproceedings{DBLP:conf/jfplc/MesnardPN02,
  author    = {Fr{\'e}d{\'e}ric Mesnard and
               {\'E}tienne Payet and
               Ulrich Neumerkel},
  title     = {Non-Termination Inference for Optimal Termination Conditions
               of Logic Programs},
  booktitle = {JFPLC},
  year      = {2002},
  pages     = {87-},
  crossref  = {DBLP:conf/jfplc/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/jfplc/2002,
  editor    = {Michel Rueher},
  title     = {Programmation en logique avec contraintes, JFPLC 2002, 27-30
               Mai 2002, Universit{\'e} de Nice Sophia-Antipolis, France},
  booktitle = {JFPLC},
  year      = {2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}