A hierarchy of semantics for non-deterministic term rewriting systems

  1. Rodríguez-Hortalá, J.
Actas:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783939897088

Año de publicación: 2008

Volumen: 2

Páginas: 328-339

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus