Pages that link to "Item:Q4358058"
From MaRDI portal
The following pages link to The order types of termination orderings on monadic terms, strings and multisets (Q4358058):
Displayed 7 items.
- Leanest quasi-orderings (Q876045) (← links)
- Invariants, patterns and weights for ordering terms (Q1581131) (← 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)
- Theorem proving with group presentations: Examples and questions (Q4647534) (← links)
- Total termination of term rewriting (Q5055796) (← links)