- Algebras for Automata: Reasoning with Regularity (Invited Talk) Anupam Das Mon 17 March 2025
- A Robust Theory of Series Parallel Graphs Rajeev Alur Caleb Stanford Christopher Watson Sun 29 September 2024
- The categorical contours of the Chomsky-Schutzenberger representation theorem Paul-André Melliès Noam Zeilberger Sat 20 January 2024
- Inferring regular languages and ømega-languages Dana Fisman Thu 05 October 2023
- On The Decidability Of Infix Inclusion Problem Hyunjoon Cheon Joonghyuk Hahn Yo-Sub Han Fri 26 May 2023
- A representation theorem for (q-)holonomic sequences T. Kotek J. A. Makowsky Sun 04 October 2020
- Adding Successor: A Transfer Theorem for Separation and Covering Thomas Place Marc Zeitoun Wed 12 August 2020
- Regular Language Type Inference with Term Rewriting Timothée Haudebourg Thomas Genet Thomas Jensen Tue 04 August 2020
- Separating Regular Languages with First-order Logic Thomas Place Marc Zeitoun Fri 29 January 2016
- Operational State Complexity under Parikh Equivalence Giovanna J. Lavado Giovanni Pighizzini Shinnosuke Seki Mon 23 November 2015
- Conjunctive Grammars Can Generate Non-regular Unary Languages Artur Jeż Tue 27 October 2015
- Termination Proofs for String Rewriting Systems via Inverse Match-Bounds Alfons Geser Dieter Hofbauer Johannes Waldmann Mon 27 January 2014
Library Size: 13G (12 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
