Compact Normalisation Trace via Lazy Rewriting
From MaRDI portal
Publication:2841224
DOI10.1016/S1571-0661(04)00269-5zbMath1268.68101OpenAlexW2092858640WikidataQ56765629 ScholiaQ56765629MaRDI QIDQ2841224
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00269-5
Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (max. 100)
Unnamed Item ⋮ Lazy Rewriting and Context-Sensitive Rewriting ⋮ Context-sensitive rewriting strategies ⋮ Termination of Lazy Rewriting Revisited
Uses Software
Cites Work
This page was built for publication: Compact Normalisation Trace via Lazy Rewriting