Pages that link to "Item:Q1912706"
From MaRDI portal
The following pages link to Total termination of term rewriting (Q1912706):
Displayed 6 items.
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)
- Simple termination of rewrite systems (Q1392146) (← links)
- Relative undecidability in term rewriting. I: The termination hierarchy (Q1854559) (← links)
- Relative undecidability in term rewriting. II: The confluence hierarchy (Q1854560) (← links)
- Total termination of term rewriting (Q1912706) (← links)
- The order types of termination orderings on monadic terms, strings and multisets (Q4358058) (← links)