Mazen Khodier, Luke Schaeffer, Jeffrey O. Shallit. Self-verifying Predicates in Büchi Arithmetic. In Giuseppa Castiglione, Sabrina Mantaci, editors, Implementation and Application of Automata - 29th International Conference, CIAA 2025, Palermo, Italy, September 22-25, 2025, Proceedings. Volume 15981 of Lecture Notes in Computer Science, pages 237-251, Springer, 2025. [doi]
Abstract is missing.