Pages that link to "Item:Q2841298"
From MaRDI portal
The following pages link to Lazy Rewriting and Context-Sensitive Rewriting (Q2841298):
Displaying 7 items.
- Lazy productivity via termination (Q549188) (← links)
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- On-demand strategy annotations revisited: an improved on-demand evaluation strategy (Q1044842) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Termination of Lazy Rewriting Revisited (Q2873676) (← links)
