The following pages link to Primitive recursive functions (Q5792036):
Displaying 25 items.
- Succinct iterative characterizations of primitive computable unary functions (Q672834) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Primitive iteration and unary functions (Q1115608) (← links)
- General iteration and unary functions (Q1182467) (← links)
- Wittgenstein and finitism (Q1583770) (← links)
- Bases for algebras of recursive functions (Q2537464) (← links)
- Bases in algebras of partially recursive functions (Q2545691) (← links)
- Subrecursive programming languages. II. On program size (Q2546770) (← links)
- Recursive functions of large scope (Q2550381) (← links)
- Arithmetical representation of recursively enumerable sets (Q3235358) (← links)
- A classification of the one-argument primitive recursive functions (Q3333020) (← links)
- Another simplification of the recursion scheme (Q4110990) (← links)
- A flow diagram composition of Markov's normal algorithms without concluding formulas (Q4769964) (← links)
- In Memoriam: Raphael Mitchel Robinson (Q4858807) (← links)
- Definitional schemes for primitive recursive and computable functions (Q5037214) (← links)
- On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions (Q5060082) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections (Q5253927) (← links)
- Iteration on notation and unary functions (Q5396224) (← links)
- Unary primitive recursive functions (Q5502807) (← links)
- A reduction of the recursion scheme (Q5538912) (← links)
- Recursive Functions of One Variable (Q5551451) (← links)
- A system of implicit quantification (Q5565077) (← links)
- Simplifications of the recursion scheme (Q5661859) (← links)
- A problem in recursive function theory (Q5820551) (← links)
