Similar Items: On Presburger arithmetic extended with non-unary counting quantifiers
- Presburger Arithmetic with algebraic scalar multiplications
- Decidability of extensions of Presburger arithmetic by generalised polynomials
- Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
- Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
- Unary negation
- Two-Way Unary Temporal Logic over Trees