The following pages link to (Q4263838):
Displaying 5 items.
- An analog characterization of the Grzegorczyk hierarchy (Q1872639) (← links)
- On some generalizations of the primitive recursive arithmetic (Q1885041) (← links)
- A new order-theoretic characterisation of the polytime computable functions (Q2346988) (← links)
- A lexicographic path order with slow growing derivation bounds (Q3619873) (← links)
- (Q5013812) (← links)
