BibTeX record journals/entcs/Ayala-RinconFGO16

download as .bib file

@inproceedings{DBLP:journals/entcs/Ayala-RinconFGO16,
  author    = {Mauricio Ayala{-}Rinc{\'{o}}n and
               Maribel Fern{\'{a}}ndez and
               Murdoch James Gabbay and
               Ana Cristina Rocha Oliveira},
  editor    = {Mario R. F. Benevides and
               Ren{\'{e}} Thiemann},
  title     = {Checking Overlaps of Nominal Rewriting Rules},
  booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
               with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
               1, 2015},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {323},
  pages     = {39--56},
  publisher = {Elsevier},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.entcs.2016.06.004},
  doi       = {10.1016/j.entcs.2016.06.004},
  timestamp = {Wed, 05 Feb 2020 13:51:47 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Ayala-RinconFGO16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics