Lazy Rewriting and Context-Sensitive Rewriting
From MaRDI portal
Publication:2841298
DOI10.1016/S1571-0661(04)80353-0zbMath1268.68100OpenAlexW1979197465WikidataQ56765632 ScholiaQ56765632MaRDI QIDQ2841298
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)80353-0
Related Items (7)
Proving termination of context-sensitive rewriting by transformation ⋮ Modularity in term rewriting revisited ⋮ Lazy productivity via termination ⋮ Applications and extensions of context-sensitive rewriting ⋮ On-demand strategy annotations revisited: an improved on-demand evaluation strategy ⋮ Context-sensitive rewriting strategies ⋮ Termination of Lazy Rewriting Revisited
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Strongly sequential and inductively sequential term rewriting systems
- Context-sensitive rewriting strategies
- Termination of term rewriting using dependency pairs
- Compact Normalisation Trace via Lazy Rewriting
- Termination of Rewriting with Strategy Annotations
- Termination of context-sensitive rewriting
- Transformation techniques for context-sensitive rewrite systems
This page was built for publication: Lazy Rewriting and Context-Sensitive Rewriting