TY  - RPRT
TI  - On the Decidability of Presburger Arithmetic Expanded with Powers
AU  - Toghrul Karimov
AU  - Florian Luca
AU  - Joris Nieuwveld
AU  - Joël Ouaknine
AU  - James Worrell
PY  - 2025
UR  - https://arxiv.org/abs/2407.05191
ID  - 2407.05191
ER  -