BibTeX record conf/agp/FontanaF95

download as .bib file

@inproceedings{DBLP:conf/agp/FontanaF95,
  author       = {Francesca Arcelli Fontana and
                  Ferrante Formato},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Implementing Higher-Order Term-Rewriting for Program Transformation
                  in lambdaProlog},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {245--256},
  year         = {1995},
  timestamp    = {Wed, 01 Dec 2004 15:33:44 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/FontanaF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics