- Expansions of MSO by cardinality relations Alexis Bès Tue 21 January 2020
- On the Algebra of Logic C. S. Peirce Tue 21 January 2020
- The Emergence of First-Order Logic Stanford Encyclopedia of Philosophy Tue 21 January 2020
- The Closure of Monadic NP Miklos Ajtai Ronald Fagin Larry Stockmeyer Mon 20 January 2020
- On Monadic NP vs Monadic co-NP R. Fagin L.J. Stockmeyer M.Y. Vardi Mon 20 January 2020
- Generalized first-order spectra and polynomial-time recognizable sets Ronald Fagin Mon 20 January 2020
- Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm David Silver Thomas Hubert Julian Schrittwieser Ioannis Antonoglou Matthew Lai Arthur Guez Marc Lanctot Laurent Sifre Dharshan Kumaran Thore Graepel Timothy Lillicrap Karen Simonyan Demis Hassabis Sun 19 January 2020
- A gap property of deterministic tree languages Damian Niwiński Igor Walukiewicz Sat 18 January 2020
- Tabled Typeclass Resolution Daniel Selsam Sebastian Ullrich Leonardo de Moura Tue 14 January 2020
- Decisiveness of Stochastic Systems and its Application to Hybrid Models Patricia Bouyer Thomas Brihaye Mickael Randour Cédric Rivière Pierre Vandenhove Tue 14 January 2020
- One-Clock Priced Timed Games are PSPACE-hard John Fearnley Rasmus Ibsen-Jensen Rahul Savani Tue 14 January 2020
- Good-for-games ømega-Pushdown Automata Karoliina Lehtinen Martin Zimmermann Tue 14 January 2020
- Reachability in fixed dimension vector addition systems with states Wojciech Czerwiński Sławomir Lasota Ranko Lazić Jérôme Leroux Filip Mazowiecki Tue 14 January 2020
- Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies Paul Hansch Michaela Slaats Wolfgang Thomas Fri 10 January 2020
- The Church Synthesis Problem with Metric Mark Jenkins Joel Ouaknine Alexander Rabinovich James Worrell Fri 10 January 2020
- Timed Control Synthesis for External Specifications Deepak D'Souza P. Madhusudan Thu 09 January 2020
- Cleveref manual (cref) N/A Wed 08 January 2020
- On the Separation Question for Tree Languages André Arnold Henryk Michalewski Damian Niwiński Wed 08 January 2020
- Are We Having an Ethical Crisis in Computing Moshe Y. Vardi Wed 08 January 2020
- Timed Automata Can Always Be Made Implementable Patricia Bouyer Kim G. Larsen Nicolas Markey Ocan Sankur Claus Thrane Mon 06 January 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
