The following pages link to (Q3695270):
Displaying 5 items.
- Ordinal recursive bounds for Higman's theorem (Q1129003) (← links)
- Ordinal complexity of recursive definitions (Q1193596) (← links)
- Equational derivation vs. computation (Q1338198) (← links)
- Trees, ordinals and termination (Q5044740) (← links)
- An ordinal calculus for proving termination in term rewriting (Q5878912) (← links)
