Pages that link to "Item:Q861708"
From MaRDI portal
The following pages link to Things to know when implementing KBO (Q861708):
Displaying 7 items.
- Automating the Knuth Bendix ordering (Q751830) (← links)
- Twee: an equational theorem prover (Q2055894) (← links)
- Relaxed weighted path order in theorem proving (Q2209265) (← links)
- An Extension of the Knuth-Bendix Ordering with LPO-Like Properties (Q3498479) (← links)
- AC-KBO revisited (Q4593023) (← links)
- On Transfinite Knuth-Bendix Orders (Q5200038) (← links)
- Automated Reasoning (Q5307049) (← links)