BibTeX record conf/jfplc/SyreRK88

download as .bib file

@inproceedings{DBLP:conf/jfplc/SyreRK88,
  author    = {Jean{-}Claude Syre and
               Philippe Robert and
               Jacques Chassin de Kergommeaux},
  title     = {Le syst{\`{e}}me logique parall{\`{e}}le PEPSys},
  booktitle = {SPLT'88, 7\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
               en Logique, 25-27 mai 1988, Tr{\'{e}}gastel, France},
  pages     = {425--454},
  year      = {1988},
  crossref  = {DBLP:conf/jfplc/1988},
  timestamp = {Mon, 06 Sep 2004 15:30:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jfplc/SyreRK88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jfplc/1988,
  editor    = {Serge Bourgault and
               Mehmet Dincbas},
  title     = {SPLT'88, 7\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
               en Logique, 25-27 mai 1988, Tr{\'{e}}gastel, France},
  year      = {1988},
  timestamp = {Mon, 06 Sep 2004 15:30:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jfplc/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Schloss Dagstuhl LZI