Formal Languages and Automata Theory

Authors and titles for recent submissions, skipping first 6

[ total of 14 entries: 1-5 | 2-6 | 7-11 | 12-14 ]
[ showing 5 entries per page: fewer | more | all ]

[7] arXiv:2512.01973 [pdf, ps, other]: Title: Bounded treewidth, multiple context-free grammars, and downward closures

Authors: C. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze, Georg Zetzsche

Subjects: Formal Languages and Automata Theory (cs.FL)
[8] arXiv:2512.01872 [pdf, ps, other]: Title: Tahr: The Generative Attribute Grammar Framework

Authors: Matteo Ciccaglione, Pierciro Caliandro, Alessandro Pellegrini

Subjects: Formal Languages and Automata Theory (cs.FL)
[9] arXiv:2512.00314 [pdf, ps, other]: Title: Counting and Sampling Traces in Regular Languages

Authors: Alexis de Colnet, Kuldeep S. Meel, Umang Mathur

Comments: To appear in POPL 2026. Author order is random

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[10] arXiv:2512.00297 [pdf, ps, other]: Title: Unconditional Time and Space Complexity Lower Bounds for Intersection Non-Emptiness

Authors: Michael Wehar

Comments: 11 pages, draft

Subjects: Formal Languages and Automata Theory (cs.FL)
[11] arXiv:2512.01502 (cross-list from quant-ph) [pdf, ps, other]: Title: Formal Verification of Noisy Quantum Reinforcement Learning Policies

Authors: Dennis Gross

Subjects: Quantum Physics (quant-ph); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)

[ total of 14 entries: 1-5 | 2-6 | 7-11 | 12-14 ]
[ showing 5 entries per page: fewer | more | all ]