scientific article; zbMATH DE number 3355016
From MaRDI portal
Publication:5629622
zbMATH Open0224.02029MaRDI QIDQ5629622FDOQ5629622
Authors: Andrzej Grzegorczyk 
Publication date: 1970
Title of this publication is not available (Why is that?)
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
- A note on comparison of subrecursive hierarchies
- Finitely stratified polymorphism
- 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)
