Juan Rodríguez-Hortalá. A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems. In Ramesh Hariharan, Madhavan Mukund, V. Vinay, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India. Volume 08004 of Dagstuhl Seminar Proceedings, pages 328-339, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. [doi]
@inproceedings{Rodriguez-Hortala08,
title = {A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems},
author = {Juan Rodríguez-Hortalá},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1764},
tags = {semantics, term rewriting, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/Rodriguez-Hortala08},
cites = {0},
citedby = {0},
pages = {328-339},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India},
editor = {Ramesh Hariharan and Madhavan Mukund and V. Vinay},
volume = {08004},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}