TY  - RPRT
TI  - Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
AU  - Hera Brown
AU  - Jakub Konieczny
PY  - 2025
UR  - https://arxiv.org/abs/2508.19206
ID  - 2508.19206
ER  -