Pages that link to "Item:Q3608777"
From MaRDI portal
The following pages link to On the Normalization and Unique Normalization Properties of Term Rewrite Systems (Q3608777):
Displayed 5 items.
- Undecidable properties of flat term rewrite systems (Q734041) (← links)
- Normalization properties for shallow TRS and innermost rewriting (Q964737) (← links)
- Non-linear rewrite closure and weak normalization (Q2351264) (← links)
- Unique Normalization for Shallow TRS (Q3636819) (← links)
- New Undecidability Results for Properties of Term Rewrite Systems (Q5166638) (← links)