Pages that link to "Item:Q1879000"
From MaRDI portal
The following pages link to Simply terminating rewrite systems with long derivations (Q1879000):
Displaying 6 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- The Hydra battle and Cichon's principle (Q734036) (← links)
- An upper bound on the derivational complexity of Knuth-Bendix orderings. (Q1401942) (← links)
- On some slowly terminating term rewriting systems (Q3466405) (← links)
- Extended term rewriting systems (Q5881265) (← links)
- Derivation lengths and order types of Knuth--Bendix orders (Q5958622) (← links)