scientific article; zbMATH DE number 3995650
From MaRDI portal
Publication:4723716
zbMATH Open0615.03026MaRDI QIDQ4723716FDOQ4723716
Authors: Zsolt Szabo
Publication date: 1986
Title of this publication is not available (Why is that?)
Recommendations
loop-programshierarchy of primitive recursive word functionspolynomially computable word functionsShepherdson-Sturgis URM- machine with restrictions on loop-depth
Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)
Cited In (6)
- A hierarchy of loop programs over binary trees
- A term rewriting characterization of the functions computable in polynomial space
- On elementary word functions obtained by bounded prefix concatenation
- Bounded monotone recursion and multihead automata
- Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems
- Elementary functions and loop programs
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 Q4723716)