Formal Languages and Automata Theory

Authors and titles for recent submissions

• Fri, 17 Jan 2025
• Thu, 16 Jan 2025
• Wed, 15 Jan 2025
• Tue, 14 Jan 2025
• Mon, 13 Jan 2025

See today's new changes

Tue, 14 Jan 2025 (showing 3 of 3 entries )

[5] arXiv:2501.07428 [pdf, other]

Title: Well-Quasi-Orderings on Word Languages

Nathan Lhote, Aliaume Lopez, Lia Schütze

Subjects: Formal Languages and Automata Theory (cs.FL)

[6] arXiv:2501.06579 (cross-list from cs.PL) [pdf, html, other]

Title: Refuting Equivalence in Probabilistic Programs with Conditioning

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić

Comments: Accepted at TACAS 2025

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL)

[7] arXiv:2501.05830 (cross-list from math.DS) [pdf, html, other]

Title: Monochromatic arithmetic progressions in the Fibonacci word

Gandhar Joshi, Dan Rust

Subjects: Dynamical Systems (math.DS); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

Mon, 13 Jan 2025

No updates for this time period.