Elementary functions and loop programs
type: Item
instance of: scholarly article
title: Elementary functions and loop programs
zbMATH Open document ID: 0831.03021
author: Zlatan Damnjanovic
published in: Notre Dame Journal of Formal Logic
publication date: 1996-02-20T00:00:00Z
Mathematics Subject Classification ID: 03D10
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 820126
zbMATH Keywords: hierarchy of Kalmàr elementary functions on integers
zbMATH Keywords: classification of LOOP programs of limited complexity
zbMATH Keywords: hierarchy of elementary predicates
zbMATH Keywords: rudimentary predicates
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1040408609
OpenAlex ID: W2072243664
cites work: Q5514957
cites work: Q3998431
cites work: Q5629624
cites work: Subrecursive Programming Languages, Part I
cites work: Q3893911
cites work: Elementary realizability
cites work: Q3686043
cites work: The Structure of Loop Programs and Subrecursive Hierarchies
cites work: The bounded arithmetic hierarchy
cites work: The Equivalence of Different Hierarchies of Elementary Functions
cites work: Q4236324
cites work: Positive rudimentarity of the graphs of Ackermann and Grzegorczyk
cites work: Concatenation as a basis for arithmetic
cites work: Classes of Predictably Computable Functions
cites work: Q3325707
cites work: Theory of Formal Systems. (AM-47)
DOI: 10.1305/NDJFL/1040408609
description: scientific article; zbMATH DE number 820126