Compact Normalisation Trace via Lazy Rewriting

DOI10.1016/S1571-0661(04)00269-5zbMath1268.68101OpenAlexW2092858640WikidataQ56765629 ScholiaQ56765629MaRDI QIDQ2841224

Quang Huy Nguyen

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

Mathematics Subject Classification ID

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

• Coq

Cites Work

• A refinement of strong sequentiality for term rewriting with constructors
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Compact Normalisation Trace via Lazy Rewriting