- Weighted HOM-Problem for Nonnegative Integers Andreas Maletti Andreea-Teodora Nász Erik Paul Thu 06 February 2025
- The categorical contours of the Chomsky-Schutzenberger representation theorem Paul-André Melliès Noam Zeilberger Sat 20 January 2024
- On The Decidability Of Infix Inclusion Problem Hyunjoon Cheon Joonghyuk Hahn Yo-Sub Han Fri 26 May 2023
- On a class of languages with holonomic generating functions Giusi Castiglione Paolo Massazza Tue 28 May 2019
- Context-Free Languages of Sub-exponential Growth Martin R. Bridson Robert H. Gilman Tue 16 October 2018
- Complexity of Pattern-based Verification for Multithreaded Programs Javier Esparza Pierre Ganty Tue 03 November 2015
- Termination Proofs for String Rewriting Systems via Inverse Match-Bounds Alfons Geser Dieter Hofbauer Johannes Waldmann Mon 27 January 2014
- A helpful result for proving inherent ambiguity William Ogden Mon 23 December 2013
- Recognition and parsing of context-free languages in time n3 Daniel H. Younger Mon 08 April 2013
- Algebraic automata and context-free sets J. Mezei J.B. Wright Mon 01 April 2013
- Approximating Petri Net Reachability Along Context-free Traces Mohamed Faouzi Atig Pierre Ganty Tue 26 March 2013
Library Size: 13G (11 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
