TY  - RPRT
TI  - On the Decidability of Monadic Theories of Arithmetic Predicates
AU  - Valérie Berthé
AU  - Toghrul Karimov
AU  - Joris Nieuwveld
AU  - Joël Ouaknine
AU  - Mihir Vahanwala
AU  - James Worrell
PY  - 2026
UR  - https://arxiv.org/abs/2405.07953
ID  - 2405.07953
ER  -