Pages that link to "Item:Q1115608"
From MaRDI portal
The following pages link to Primitive iteration and unary functions (Q1115608):
Displaying 11 items.
- Succinct iterative characterizations of primitive computable unary functions (Q672834) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Unary functions (Q896066) (← links)
- Unary operations with long pre-periods (Q947823) (← links)
- General iteration and unary functions (Q1182467) (← links)
- Bounded iteration and unary functions (Q3159406) (← links)
- Ein Kriterium für die Primitive Rekursivität der Funktional‐Iteration (Q3489986) (← links)
- A complete characterization of primitive recursive intensional behaviours (Q3514635) (← links)
- A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration (Q5195245) (← links)
- Iteration on notation and unary functions (Q5396224) (← links)
- Unary primitive recursive functions (Q5502807) (← links)