DBLP Record 'conf/jfplc/ColinMR99'

BibTeX

@inproceedings{DBLP:conf/jfplc/ColinMR99,
  author    = {Serge Colin and
               Fr{\'e}d{\'e}ric Mesnard and
               Antoine Rauzy},
  title     = {Un module Prolog de mu-calcul bool{\'e}en: une r{\'e}alisation
               par BDD},
  booktitle = {JFPLC},
  year      = {1999},
  pages     = {23-38},
  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}
}