Pages that link to "Item:Q5541375"

The following pages link to Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture (Q5541375):

Displaying 4 items.

• Orderings for term-rewriting systems (Q593789) (← links)
• Termination of rewriting (Q1098624) (← links)
• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
• Better-quasi-orderings and coinduction (Q1884898) (← links)