BibTeX record conf/jfplc/ColinMR99

download as .bib file

@inproceedings{DBLP:conf/jfplc/ColinMR99,
  author       = {Serge Colin and
                  Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Antoine Rauzy},
  editor       = {Fran{\c{c}}ois Fages},
  title        = {Un module Prolog de mu-calcul bool{\'{e}}en: une r{\'{e}}alisation
                  par {BDD}},
  booktitle    = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
  pages        = {23--38},
  publisher    = {Hermes},
  year         = {1999},
  timestamp    = {Tue, 30 Mar 2004 12:53:17 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/ColinMR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics