- On the Way to Alternating Weak Automata Udi Boker Karoliina Lehtinen Wed 24 October 2018
- Buchi Good-for-Games Automata Are Efficiently Recognizable Marc Bagnol Denis Kuperberg Wed 24 October 2018
- Generating Functions of Timed Languages Eugene Asarin Nicolas Basset Aldric Degorre Dominique Perrin Tue 23 October 2018
- Machine Learning for Theorem Proving Cezary Kaliszyk Mon 22 October 2018
- Boolean algebras of unambiguous context-free languages Didier Caucal Mon 22 October 2018
- Uniwersytet Warszawski - Pismo Uczelni N/A Mon 22 October 2018
- Alan Turing and the Riemann Zeta Function Dennis A. Hejhal Andrew M. Odlyzko Mon 22 October 2018
- On Buffon Machines and Numbers Philippe Flajolet Maryse Pelletier Michèle Soria Mon 22 October 2018
- History of Interactive Theorem Proving John Harrison Josef Urban Freek Wiedijk Mon 22 October 2018
- Hammer for Coq: Automation for Dependent Type Theory Łukasz Czajka Cezary Kaliszyk Mon 22 October 2018
- Thinking Fast and Slow with Deep Learning and Tree Search T. Anthony Z. Tian D. Barber Fri 19 October 2018
- Querying graphs with data Domagoj Vrgoč Fri 19 October 2018
- TriAL: A Navigational Algebra for RDF Triplestores Leonid Libkin Juan L. Reutter Adrián Soto Domagoj Vrgoč Fri 19 October 2018
- Containment of queries for graphs with data Egor V. Kostylev Juan L. Reutter Domagoj Vrgoč Fri 19 October 2018
- Foundations of Modern Query Languages for Graph Databases Renzo Angles Marcelo Arenas Pablo Barceló Aidan Hogan Juan Reutter Domagoj Vrgoč Fri 19 October 2018
- Querying Graphs with Data Leonid Libkin Wim Martens Domagoj Vrgoč Fri 19 October 2018
- Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States Petr Jančar Jérôme Leroux Grégoire Sutre Wed 17 October 2018
- Occam's Razor Applied to the Petri Net Coverability Problem T. Geffroy J. Leroux G. Sutre Wed 17 October 2018
- The growth function of context-free languages Roberto Incitti Tue 16 October 2018
- Context-Free Languages of Sub-exponential Growth Martin R. Bridson Robert H. Gilman Tue 16 October 2018
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
