The Structure of Loop Programs and Subrecursive Hierarchies · Bernhard G. Goetze, Werner Nehrlich · Published in Mathematical Logic Quarterly 1980 · Mathematics.
The Structure of Loop Programs and Subrecursive Hierarchies.Bernhard Goetze & Werner Nehrlich - 1980 ; A Uniform Approach to Fundamental Sequences and ...
We study a hierarchy of Kalmàr elementary functions on integers based on a classification of LOOP programs of limited complexity, namely those in which the ...
This chapter discusses the analysis of several subrecursive hierarchies built on the restricted use of a few natural programming schemes.
[PDF] Program Structure - Computer History Museum - Archive Server
archive.computerhistory.org › text
The two examples are Loop programs and definition of functions by multiple recursion equations; both involve computations far beyond the capabilities of real ...
If fact, one can easily define the Loop programs which will carry out the following G instructions, for v,w, any variables, nɛ N. v+n; v+w; v+w-1; v+w₂+ W₂ ...
The Structure of Loop Programs and Subrecursive Hierarchies. 1980, Mathematical Logic Quarterly. Equivalence of some Hierarchies of Primitive Recursive ...
The first example is that of Loop programs. A Loop prograr: is a finite sequence of instructions for manipulating non-negative, un- bounded integers stored in ...
We give two examples. The first example is that of Loop programs. A Loop ... occurring in a restricted version of the Kleene subrecursive hierarchy [13].
The Structure of Loop Programs and Subrecursive Hierarchies.Bernhard Goetze & Werner Nehrlich - 1980 - Mathematical Logic Quarterly 26 (14-18):255-278 ...