A Fully Abstract Semantics for Constructor Systems

From MaRDI portal
Publication:3636832

DOI10.1007/978-3-642-02348-4_23zbMath1242.68137OpenAlexW1536212484MaRDI QIDQ3636832

Francisco J. López Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández

Publication date: 30 June 2009

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02348-4_23




Related Items (2)


Uses Software



Cites Work




This page was built for publication: A Fully Abstract Semantics for Constructor Systems