Characterizations of Presburger Functions
- 1 February 1981
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 10 (1) , 22-39
- https://doi.org/10.1137/0210003
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The Complexity of the Equivalence Problem for Simple ProgramsJournal of the ACM, 1981
- A Complete and Consistent Hoare Axiomatics for a Simple Programming LanguageJournal of the ACM, 1979
- The complexity of the equivalence problem for counter machines, semilinear sets, and simple programsPublished by Association for Computing Machinery (ACM) ,1979
- Simple Programs Realize Exactly Presburger FormulasSIAM Journal on Computing, 1976
- Small Grzegorczyk classes and limited minimumMathematical Logic Quarterly, 1975
- The Equivalence Problem of Simple ProgramsJournal of the ACM, 1970
- Semigroups, Presburger formulas, and languagesPacific Journal of Mathematics, 1966