We gratefully acknowledge support from
the Simons Foundation and member institutions.

Formal Languages and Automata Theory

Authors and titles for recent submissions, skipping first 12

[ total of 13 entries: 1-5 | 3-7 | 8-12 | 13-13 ]
[ showing 5 entries per page: fewer | more | all ]

Thu, 27 Nov 2025

[13]  arXiv:2511.21559 [pdf, ps, other]
Title: General Decidability Results for Systems with Continuous Counters
Authors: A. R. Balasubramanian, Matthew Hague, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[ total of 13 entries: 1-5 | 3-7 | 8-12 | 13-13 ]
[ showing 5 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2512, contact, help  (Access key information)