The following pages link to (Q3336681):
Displayed 8 items.
- On the recursive decomposition ordering with lexicographical status and other related orderings (Q912609) (← links)
- Termination of rewriting (Q1098624) (← links)
- Path of subterms ordering and recursive decomposition ordering revisited (Q1099655) (← links)
- Proving termination of (conditional) rewrite systems. A semantic approach (Q1323317) (← links)
- An improved general path order (Q1925013) (← links)
- An overview of LP, the Larch Prover (Q5055717) (← links)
- Extensions and comparison of simplification orderings (Q5055737) (← links)
- Two applications of analytic functors (Q5958294) (← links)