Pages that link to "Item:Q4358058"

The following pages link to The order types of termination orderings on monadic terms, strings and multisets (Q4358058):

Displaying 9 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)
• A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets (Q3576087) (← links)
• Theorem proving with group presentations: Examples and questions (Q4647534) (← links)
• Total termination of term rewriting (Q5055796) (← links)
• The classification of polynomial orderings on monadic terms (Q5941757) (← links)