BibTeX record conf/birthday/AlvesFFM07

download as .bib file

@inproceedings{DBLP:conf/birthday/AlvesFFM07,
  author    = {Sandra Alves and
               Maribel Fern{\'{a}}ndez and
               M{\'{a}}rio Florido and
               Ian Mackie},
  title     = {Linear Recursive Functions},
  booktitle = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
               Jouannaud on the Occasion of His 60th Birthday},
  pages     = {182--195},
  year      = {2007},
  crossref  = {DBLP:conf/birthday/2007jouannaud},
  url       = {https://doi.org/10.1007/978-3-540-73147-4\_9},
  doi       = {10.1007/978-3-540-73147-4\_9},
  timestamp = {Fri, 02 Nov 2018 09:46:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/AlvesFFM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2007jouannaud,
  editor    = {Hubert Comon{-}Lundh and
               Claude Kirchner and
               H{\'{e}}l{\`{e}}ne Kirchner},
  title     = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
               Jouannaud on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {4600},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73147-4},
  doi       = {10.1007/978-3-540-73147-4},
  isbn      = {978-3-540-73146-7},
  timestamp = {Mon, 12 Jun 2017 16:41:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2007jouannaud},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier