Pages that link to "Item:Q912609"
From MaRDI portal
The following pages link to On the recursive decomposition ordering with lexicographical status and other related orderings (Q912609):
Displayed 9 items.
- Natural termination (Q673622) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Simplification orderings: Putting them to the test (Q1311404) (← links)
- Proving termination of (conditional) rewrite systems. A semantic approach (Q1323317) (← links)
- Practical algorithms for deciding path ordering constraint satisfaction. (Q1400710) (← links)
- A path ordering for proving termination of AC rewrite systems (Q1891259) (← links)
- An improved general path order (Q1925013) (← links)
- Jumping and escaping: modular termination and the abstract path ordering (Q1929229) (← links)
- Topics in termination (Q5055795) (← links)