DBLP Record 'conf/jfplc/MalesieuxRB99'

BibTeX

@inproceedings{DBLP:conf/jfplc/MalesieuxRB99,
  author    = {Fr{\'e}d{\'e}ric Mal{\'e}sieux and
               Olivier Ridoux and
               Patrice Boizumault},
  title     = {Analyse statique typ{\'e}e: application {\`a} l'analyse
               de cl{\^o}tures de lambda-Prolog},
  booktitle = {JFPLC},
  year      = {1999},
  pages     = {55-72},
  crossref  = {DBLP:conf/jfplc/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/jfplc/1999,
  editor    = {Fran\c{c}ois Fages},
  title     = {JFPLC'99, Huiti{\`e}mes Journ{\'e}es Francophones
               de Programmation Logique et programmation par Contraintes,
               2-4 juin 199, Lyon, France},
  booktitle = {JFPLC},
  publisher = {Hermes},
  year      = {1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}