Pages that link to "Item:Q5538912"
From MaRDI portal
The following pages link to A reduction of the recursion scheme (Q5538912):
Displaying 5 items.
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Primitive iteration and unary functions (Q1115608) (← links)
- Definitional schemes for primitive recursive and computable functions (Q5037214) (← links)
- Iteration on notation and unary functions (Q5396224) (← links)
- Unary primitive recursive functions (Q5502807) (← links)