Pages that link to "Item:Q5560277"
From MaRDI portal
The following pages link to Hierarchies of Primitive Recursive Functions (Q5560277):
Displaying 12 items.
- Existence of superposition bases in countable primitively recursively closed classes (Q1098839) (← links)
- Complexity of algorithms and computations (Q1153141) (← links)
- A superposition basis in the class of Kalmar elementary functions (Q1163014) (← links)
- Increase of the complexity of functions by an application of multiple recursion (Q1245948) (← links)
- Induction rules, reflection principles, and provably recursive functions (Q1361250) (← links)
- Elementary realizability (Q1362589) (← links)
- Bounded prefix concatenation operation and finite bases with respect to the superposition (Q1744291) (← links)
- Separating NC along the \(\delta\) axis (Q1827390) (← links)
- On the computational complexity of imperative programming languages (Q1827396) (← links)
- Function operators spanning the arithmetical and the polynomial hierarchy (Q3060205) (← links)
- Relativization of the Theory of Computational Complexity (Q4124321) (← links)
- Operation of bound prefix concatenation and finite superposition bases (Q6043893) (← links)