TY  - RPRT
TI  - Decidability of extensions of Presburger arithmetic by generalised polynomials
AU  - Jakub Konieczny
PY  - 2025
DO  - 10.46298/lmcs-21(4:1)2025
UR  - https://arxiv.org/abs/2402.09647
ID  - 2402.09647
ER  -