Similar Items: Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
- Presburger Arithmetic with algebraic scalar multiplications
- Decidability of extensions of Presburger arithmetic by generalised polynomials
- On Presburger arithmetic extended with non-unary counting quantifiers
- On two-variable guarded fragment logic with expressive local Presburger constraints
- The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
- Shortest paths in one-counter systems