Pages that link to "Item:Q5661859"
From MaRDI portal
The following pages link to Simplifications of the recursion scheme (Q5661859):
Displaying 11 items.
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Computability on reals, infinite limits and differential equations (Q990444) (← links)
- A foundation for real recursive function theory (Q1032628) (← links)
- Primitive iteration and unary functions (Q1115608) (← links)
- General iteration and unary functions (Q1182467) (← links)
- Structural recursion as a query language on lists and ordered trees (Q2272218) (← links)
- A classification of the one-argument primitive recursive functions (Q3333020) (← links)
- Another simplification of the recursion scheme (Q4110990) (← links)
- Partial Recursive Functions and Finality (Q4922089) (← links)
- Definitional schemes for primitive recursive and computable functions (Q5037214) (← links)
- Iteration on notation and unary functions (Q5396224) (← links)