The following pages link to (Q3695270):
Displaying 9 items.
- Subrecursive hierarchies on Scott domains (Q688507) (← links)
- Ordinal recursive bounds for Higman's theorem (Q1129003) (← links)
- Ordinal complexity of recursive definitions (Q1193596) (← links)
- The alternation hierarchy for sublogarithmic space is infinite (Q1312177) (← links)
- Equational derivation vs. computation (Q1338198) (← links)
- (Q3028996) (← links)
- (Q4876432) (← links)
- Trees, ordinals and termination (Q5044740) (← links)
- An ordinal calculus for proving termination in term rewriting (Q5878912) (← links)