Elementary functions and loop programs

DOI10.1305/NDJFL/1040408609MaRDI QIDQ1903128zbMATH OpenOpenAlexFDO

Authors Zlatan Damnjanovic

Publication date 20 February 1996

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1040408609

zbMATH Keywords

rudimentary predicatesclassification of LOOP programs of limited complexityhierarchy of elementary predicateshierarchy of Kalmàr elementary functions on integers

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Complexity of computation (including implicit computational complexity) (03D15) Turing machines and related notions (03D10)

Recommendations

• A hierarchy of loop programs over binary trees
• Plain bases for classes of primitive recursive functions
• scientific article; zbMATH DE number 3995650
• Some Relations between Classes of Low Computational Complexity
• scientific article; zbMATH DE number 4108744

Cites work

• scientific article; zbMATH DE number 3857078 (Why is no real title available?)
• scientific article; zbMATH DE number 3909745 (Why is no real title available?)
• scientific article; zbMATH DE number 3700811 (Why is no real title available?)
• scientific article; zbMATH DE number 47306 (Why is no real title available?)
• scientific article; zbMATH DE number 1269493 (Why is no real title available?)
• scientific article; zbMATH DE number 3226635 (Why is no real title available?)
• scientific article; zbMATH DE number 3355018 (Why is no real title available?)
• Classes of Predictably Computable Functions
• Concatenation as a basis for arithmetic
• Elementary realizability
• Positive rudimentarity of the graphs of Ackermann and Grzegorczyk
• Subrecursive Programming Languages, Part I
• The Equivalence of Different Hierarchies of Elementary Functions
• The Structure of Loop Programs and Subrecursive Hierarchies
• The bounded arithmetic hierarchy
• Theory of Formal Systems. (AM-47)

Cited in

(4)

• Elementary realizability
• scientific article; zbMATH DE number 4125384 (Why is no real title available?)
• A hierarchy of loop programs over binary trees
• scientific article; zbMATH DE number 3995650 (Why is no real title available?)

This page was built for publication: Elementary functions and loop programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1903128)