Search dblp for Publications

export results for "Proofs in the Final Algebra."

 download as .bib file

@inproceedings{DBLP:conf/caap/Puel84,
  author       = {Laurence Puel},
  editor       = {Bruno Courcelle},
  title        = {Proofs in the Final Algebra},
  booktitle    = {CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux,
                  France, March 5-7, 1984, Proceedings},
  pages        = {227--242},
  publisher    = {Cambridge University Press},
  year         = {1984},
  timestamp    = {Wed, 30 Mar 2016 16:45:14 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Puel84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics