Similar Items: Presburger Arithmetic with algebraic scalar multiplications
- Decidability of extensions of Presburger arithmetic by generalised polynomials
- On Presburger arithmetic extended with non-unary counting quantifiers
- Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
- Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
- The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
- On two-variable guarded fragment logic with expressive local Presburger constraints