scientific article; zbMATH DE number 3995650
From MaRDI portal
Publication:4723716
zbMath0615.03026MaRDI QIDQ4723716
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
loop-programshierarchy of primitive recursive word functionspolynomially computable word functionsShepherdson-Sturgis URM- machine with restrictions on loop-depth
Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
This page was built for publication:
