Pages that link to "Item:Q2841224"
From MaRDI portal
The following pages link to Compact normalisation trace via lazy rewriting (Q2841224):
Displaying 8 items.
- Normalization properties for shallow TRS and innermost rewriting (Q964737) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Non-linear rewrite closure and weak normalization (Q2351264) (← links)
- Lazy rewriting and context-sensitive rewriting (Q2841298) (← links)
- Outermost ground termination (Q2851054) (← links)
- Termination of lazy rewriting revisited (Q2873676) (← links)
- Trace rewriting: Computing normal forms in time O(n log n) (Q4593937) (← links)
- Normalization by leftmost innermost rewriting (Q5881209) (← links)