Christoph Haase, Mikhail R. Starchak. Formal Languages and Arithmetic Theories: Recent Results and Open Problems. In Sang-Ki Ko, Florin Manea, editors, Developments in Language Theory - 29th International Conference, DLT 2025, Seoul, South Korea, August 19-22, 2025, Proceedings. Volume 16036 of Lecture Notes in Computer Science, pages 1-14, Springer, 2025. [doi]
Abstract is missing.