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

Open Webpage

Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell

Published: 01 Jan 2024, Last Modified: 25 Jul 2025LICS 2024EveryoneRevisionsBibTeXCC BY-SA 4.0