- Unprovability comes to machine learning Lev Reyzin Mon 14 October 2019
- Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms Guido Martínez Danel Ahman Victor Dumitrescu Nick Giannarakis Chris Hawblitzel Cătălin Hriţcu Monal Narasimhamurthy Zoe Paraskevopoulou Clément Pit-Claudel Jonathan Protzenko Tahina Ramananandro Aseem Rastogi Nikhil Swamy Mon 14 October 2019
- Mixed powerdomains for probability and nondeterminism Klaus Keimel Gordon Plotkin Mon 14 October 2019
- On the decidability of fragments of the asynchronous pi-calculus Roberto M. Amadio Charles Meyssonnier Mon 14 October 2019
- CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories Fadil Kallat Tristan Schafer Anna Vasileva Mon 14 October 2019
- Reachability Analysis of Self Modifying Code Tayssir Touili Xin Ye Mon 14 October 2019
- Affine Extensions of Integer Vector Addition Systems with States Michael Blondin Christoph Haase Filip Mazowiecki Mikhail Raskin Mon 14 October 2019
- Categories for Me, and You Clément Aubert Mon 14 October 2019
- A Decade of Featured Transition Systems Maxime Cordy Xavier Devroey Axel Legay Gilles Perrouin Andreas Classen Patrick Heymans Pierre-Yves Schobbens Jean-François Raskin Mon 14 October 2019
- The method of forced enumeration for nondeterministic automata Róbert Szelepcsényi Sat 12 October 2019
- Succinct Population Protocols for Presburger Arithmetic Michael Blondin Javier Esparza Blaise Genest Martin Helfrich Stefan Jaax Fri 11 October 2019
- Revisiting MITL to Fix Decision Procedures Nima Roohi Mahesh Viswanathan Fri 11 October 2019
- Existential length universality Paweł Gawrychowski Martin Lange Narad Rampersad Jeffrey Shallit Marek Szykuła Fri 11 October 2019
- Parity Games: Another View on Lehtinen's Algorithm Paweł Parys Fri 11 October 2019
- The 10,000 Facets of MDP Model Checking Christel Baier Holger Hermanns Joost-Pieter Katoen Fri 11 October 2019
- Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem William Craig Wed 09 October 2019
- Amalgamation properties and interpolation theorems for equational theories P. D. Bacsich Wed 09 October 2019
- A lower bound for the complexity of Craig's interpolants in sentential logic Daniele Mundici Wed 09 October 2019
- Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic Jan Krajíček Wed 09 October 2019
- Lower Bounds for Resolution and Cutting Plane Proofs and Monotone Computations Pavel Pudlak Wed 09 October 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
