- Efficient reduction of nondeterministic automata with application to language inclusion testing L. Clemente R. Mayr Tue 20 November 2018
- Merge decompositions, two-sided Krohn-Rhodes, and aperiodic pointlikes S. J. v. Gool B. Steinberg Fri 16 November 2018
- On Calculating the Krohn-Rhodes Decomposition of Automata Sunil Talwar Fri 16 November 2018
- The Krohn-Rhodes Theorem and Local Divisors V. Diekert M. Kufleitner B. Steinberg Fri 16 November 2018
- A Krohn-Rhodes Theorem for categories Charles Wells Thu 15 November 2018
- On the Krohn-Rhodes Cascaded Decomposition Theorem Oded Maler Thu 15 November 2018
- Efficient algorithms for hard problems in nondeterministic tree automata Ricardo Manuel de Oliveira Almeida Wed 14 November 2018
- A Characterization for Decidable Separability by Piecewise Testable Languages Wojciech Czerwiński Wim Martens Lorijn van Rooijen Marc Zeitoun Georg Zetzsche Mon 12 November 2018
- An optimal bound on the solution sets of one-variable word equations and its consequences D. Nowotka A. Saarela Mon 05 November 2018
- Lambda-calculus and formal language theory Sylvain Salvati Mon 05 November 2018
- Optimal Strategies in Pushdown Reachability Games Arnaud Carayol Matthew Hague Mon 05 November 2018
- Emptiness of Stack Automata is NEXPTIME-complete: A Correction C. Broadbent A. Carayol M. Hague O. Serre Mon 05 November 2018
- Stochastic Context-free Grammars, Regular Languages, and Newton's Method Kousha Etessami Alistair Stewart Mihalis Yannakakis Tue 30 October 2018
- Two-way Cost Automata and Cost Logics over Infinite Trees Achim Blumensath Thomas Colcombet Denis Kuperberg Paweł Parys Michael Vanden Boom Tue 30 October 2018
- Quasi-Weak Cost Automata: A New Variant of Weakness Denis Kuperberg Michael Vanden Boom Tue 30 October 2018
- Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence K. Asada N. Kobayashi R. Sin'ya T. Tsukada Tue 30 October 2018
- Higher-Order Program Verification via HFL Model Checking Naoki Kobayashi Takeshi Tsukada Keiichi Watanabe Tue 30 October 2018
- Homogeneity Without Loss of Generality Pawel Parys Mon 29 October 2018
- Antichains for the Verification of Recursive Programs Lukáš Holík Roland Meyer Thu 25 October 2018
- On Boundedness Problems for Pushdown Vector Addition Systems Jérôme Leroux Grégoire Sutre Patrick Totzke Wed 24 October 2018
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
