The following pages link to KBO orientability (Q846165):
Displaying 8 items.
- Proving termination by dependency pairs and inductive theorem proving (Q438537) (← links)
- Decreasing diagrams and relative termination (Q438562) (← links)
- Analyzing program termination and complexity automatically with \textsf{AProVE} (Q2362493) (← links)
- SAT solving for termination proofs with recursive path orders and dependency pairs (Q2392415) (← links)
- Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (Q3454089) (← links)
- AC-KBO revisited (Q4593023) (← links)
- On Transfinite Knuth-Bendix Orders (Q5200038) (← links)
- Decreasing Diagrams and Relative Termination (Q5747786) (← links)
