The following pages link to (Q4447240):
Displaying 7 items.
- The Hydra battle and Cichon's principle (Q734036) (← links)
- Bounding derivation lengths with functions from the slow growing hierarchy (Q1267850) (← links)
- Equational derivation vs. computation (Q1338198) (← links)
- Proof-theoretic analysis of termination proofs (Q1899143) (← links)
- Multiply-Recursive Upper Bounds with Higman’s Lemma (Q3012939) (← links)
- On the Computational Content of Termination Proofs (Q3195706) (← links)
- Well partial orders (Q6612816) (← links)