Pages that link to "Item:Q3466405"
From MaRDI portal
The following pages link to On some slowly terminating term rewriting systems (Q3466405):
Displaying 8 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem. (Q1399971) (← links)
- Beyond Peano Arithmetic – Automatically Proving Termination of the Goodstein Sequence (Q2958394) (← links)
- (Q4217941) (← links)
- A local termination property for term rewriting systems (Q5055724) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- Worms, gaps, and hydras (Q5462986) (← links)