The following pages link to The realm of primitive recursion (Q1112020):
Displaying 26 items.
- Two function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuits (Q276257) (← links)
- Term rewriting theory for the primitive recursive functions (Q674412) (← links)
- Implicit characterizations of FPTIME and NC revisited (Q1044672) (← links)
- Rudimentary relations and primitive recursion: A toolbox (Q1127532) (← links)
- A note on complexity measures for inductive classes in constructive type theory (Q1271558) (← links)
- Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity (Q1295429) (← links)
- Functions over free algebras definable in the simply typed lambda calculus (Q1314357) (← links)
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- Analysing the implicit complexity of programs. (Q1401939) (← links)
- Higher type recursion, ramification and polynomial time (Q1577477) (← links)
- Separating NC along the \(\delta\) axis (Q1827390) (← links)
- On the computational complexity of imperative programming languages (Q1827396) (← links)
- A characterization of alternating log time by ramified recurrence (Q1978645) (← links)
- Implicit recursion-theoretic characterizations of counting classes (Q2085583) (← links)
- A new order-theoretic characterisation of the polytime computable functions (Q2346988) (← links)
- An arithmetic for polynomial-time computation (Q2500489) (← links)
- Build your own clarithmetic I: Setup and completeness (Q2974779) (← links)
- Pointwise Transfinite Induction and a Miniaturized Predicativity (Q3305563) (← links)
- Tiering as a Recursion Technique (Q3370611) (← links)
- Recursion Schemata for NC k (Q3540170) (← links)
- Dependency Pairs and Polynomial Path Orders (Q3636818) (← links)
- (Q3982090) (← links)
- A new “feasible” arithmetic (Q4532603) (← links)
- The Recursive Core (Q4836508) (← links)
- Tiered Arithmetics (Q5214784) (← links)
- Primitive recursive real numbers (Q5307606) (← links)
