scientific article; zbMATH DE number 3995650
From MaRDI portal
Publication:4723716
zbMATH Open0615.03026MaRDI QIDQ4723716FDOQ4723716
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 (4)
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)