BibTeX record journals/corr/RiescoR15

download as .bib file

@inproceedings{DBLP:journals/corr/RiescoR15,
  author       = {Adri{\'{a}}n Riesco and
                  Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}}},
  editor       = {Santiago Escobar},
  title        = {Lifting Term Rewriting Derivations in Constructor Systems by Using
                  Generators},
  booktitle    = {Proceedings {XIV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
                  {PROLE} 2014, Cadiz, Spain, September 16-19, 2014},
  series       = {{EPTCS}},
  volume       = {173},
  pages        = {87--99},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.173.7},
  doi          = {10.4204/EPTCS.173.7},
  timestamp    = {Tue, 10 Nov 2020 12:25:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/RiescoR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics