Elementary Bounds for Presburger Arithmetic

We consider the first-order theory whose language has as nonlogical symbols the constant symbols 0 and 1, the binary relation symbols = and <, the unary function symbol − and the binary function symbol +

Authors

• Derek C. Oppen

Keywords

No keywords are indexed for this paper.