Pages that link to "Item:Q5958622"
From MaRDI portal
The following pages link to Derivation lengths and order types of Knuth--Bendix orders (Q5958622):
Displaying 7 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- The Hydra battle and Cichon's principle (Q734036) (← links)
- KBO orientability (Q846165) (← links)
- An upper bound on the derivational complexity of Knuth-Bendix orderings. (Q1401942) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- Complexity Analysis by Rewriting (Q5458433) (← links)
- The Derivational Complexity Induced by the Dependency Pair Method (Q5902127) (← links)
