The Structure of Loop Programs and Subrecursive Hierarchies
From MaRDI portal
Publication:3880821
DOI10.1002/malq.19800261407zbMath0439.03018OpenAlexW2064171579MaRDI QIDQ3880821
Werner Nehrlich, Bernhard G. Goetze
Publication date: 1980
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19800261407
Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10) Theory of software (68N99)
Related Items
Elementary functions and loop programs ⋮ On the computational complexity of imperative programming languages