On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.

Valrie Berth, Toghrul Karimov, Joris Nieuwveld, Jol Ouaknine, Mihir Vahanwala, James Worrell

Browse the full LICS paper archive.