External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Relating Nominal and Higher-Order Rewriting

Jesús Domínguez, Maribel Fernández. Relating Nominal and Higher-Order Rewriting. In Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik, editors, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I. Volume 8634 of Lecture Notes in Computer Science, pages 244-255, Springer, 2014. [doi]

Authors

Jesús Domínguez

This author has not been identified. Look up 'Jesús Domínguez' in Google

Maribel Fernández

This author has not been identified. Look up 'Maribel Fernández' in Google
runs on