scientific article; zbMATH DE number 3355016
From MaRDI portal
Publication:5629622
Cited in
(21)- A model for iterative computation
- Generating some classes of recursive functions by superpositions of simple arithmetic functions
- Fragments of arithmetic
- Relating refined space complexity classes
- Techniques for separating space complexity classes
- Equational derivation vs. computation
- Finitely stratified polymorphism
- A note on comparison of subrecursive hierarchies
- On maximal subalgebras of the algebras of unary recursive functions
- Polynomial and abstract subrecursive classes
- Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity
- An analog characterization of the Grzegorczyk hierarchy
- An iterative description of the class \(\mathcal E^1\) of Grzegorczyk's hierarchy
- On the computational power of automata with time or space bounded by Ackermann's or superexponential functions
- Ordinal recursive bounds for Higman's theorem
- Subsystems of true arithmetic and hierarchies of functions
- On the generative power of transformational grammars
- A machine description and the hierarchy of initial Grzegorczyk classes
- A characterization of time complexity by simple loop programs
- Intuitionistic formal theories with realizability in subrecursive classes
- Term rewriting theory for the primitive recursive functions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5629622)
