Characterizations of Presburger Functions

DOI10.1137/0210003zbMath0471.68032OpenAlexW2050570101MaRDI QIDQ3926041

Oscar H. Ibarra, Brian S. Leininger

Publication date: 1981

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0210003

zbMATH Keywords

straight-line programPresburger formulasimple program

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Theory of software (68N99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

A note on the complexity of program evaluation

This page was built for publication: Characterizations of Presburger Functions