The following pages link to (Q3667939):
Displayed 7 items.
- An effective proof of the well-foundedness of the multiset path ordering (Q857884) (← links)
- Termination orderings for associative-commutative rewriting systems (Q1072371) (← links)
- Termination of rewriting (Q1098624) (← links)
- Path of subterms ordering and recursive decomposition ordering revisited (Q1099655) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Proof of termination of the rewriting system SUBSET on CCL (Q1822494) (← links)
- (Q3700828) (← links)