Pages that link to "Item:Q1401932"
From MaRDI portal
The following pages link to Orienting rewrite rules with the Knuth-Bendix order. (Q1401932):
Displaying 11 items.
- Automating the Knuth Bendix ordering (Q751830) (← links)
- KBO orientability (Q846165) (← links)
- Things to know when implementing KBO (Q861708) (← links)
- Tyrolean termination tool: techniques and features (Q876042) (← links)
- The size-change principle and dependency pairs for termination of term rewriting (Q2573795) (← links)
- AC-KBO revisited (Q4593023) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- Transforming SAT into Termination of Rewriting (Q4982632) (← links)
- On Transfinite Knuth-Bendix Orders (Q5200038) (← links)
- Completeness and Herbrand theorems for nominal logic (Q5477637) (← links)
- Towards automated deduction in cP systems (Q6154793) (← links)