Pages that link to "Item:Q5881209"
From MaRDI portal
The following pages link to Normalization by leftmost innermost rewriting (Q5881209):
Displaying 6 items.
- Normalization properties for shallow TRS and innermost rewriting (Q964737) (← links)
- Non-linear rewrite closure and weak normalization (Q2351264) (← links)
- Breaking through the normalization barrier: a self-interpreter for F-omega (Q2828238) (← links)
- Compact normalisation trace via lazy rewriting (Q2841224) (← links)
- (Q5013811) (← links)
- (Q5854726) (← links)