Nominal rewriting systems. Fernández, M., Gabbay, M., & Mackie, I. In Moggi, E. & Warren, D. S., editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pages 108–119, 2004. ACM.
Nominal rewriting systems [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/ppdp/FernandezGM04,
  author    = {Maribel Fern{\'{a}}ndez and
               Murdoch Gabbay and
               Ian Mackie},
  editor    = {Eugenio Moggi and
               David Scott Warren},
  title     = {Nominal rewriting systems},
  booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, 24-26 August 2004,
               Verona, Italy},
  pages     = {108--119},
  publisher = {{ACM}},
  year      = {2004},
  url       = {https://doi.org/10.1145/1013963.1013978},
  doi       = {10.1145/1013963.1013978},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/FernandezGM04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0