- On Cascades of Reset Automata Roberto Borelli Luca Geatti Marco Montali Angelo Montanari Fri 14 March 2025
- Cyclic Proofs, System t, and the Power of Contraction Denis Kuperberg Laureline Pinault Damien Pous Tue 05 January 2021
- A Characterization of Regular Expressions Under Bisimulation J. C. M. Baeten F. Corradini C. A. Grabmayer Fri 26 July 2019
- A Play on Regular Expressions: Functional Pearl Sebastian Fischer Frank Huch Thomas Wilke Tue 04 April 2017
- Succinctness of Regular Expressions with Interleaving, Intersection and Counting Wouter Gelade Wed 11 January 2017
- Parsing with derivatives: a functional pearl Matthew Might David Darais Daniel Spiewak Thu 13 June 2013
- Deterministic regular expressions in linear time Benotît Groz Sebastian Maneth Slawek Staworko Mon 04 March 2013
- Derivatives of Regular Expressions Janusz A. Brzozowski Fri 21 September 2012
- Translating Regular Expressions into Small epsilon-Free Nondeterministic Finite Automata Juraj Hromkovic Sebastian Seibert Thomas Wilke Sat 07 April 2012
Library Size: 13G (9 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
