- Logical and Algebraic Characterizations of Rational Transductions Emmanuel Filiot Olivier Gauwin Nathan Lhote Fri 18 October 2019
- Don't cry to be the first Symmetric fair division algorithms exist Guillaume Chèze Fri 18 October 2019
- Circuit pedantry Andreas Blass Yuri Gurevich Fri 18 October 2019
- Equivalence kernels of sequential functions and sequential observation synthesis Paulin Fournier Nathan Lhote Fri 18 October 2019
- Lectures on Universal Algebra Matthew Valeriote Thu 17 October 2019
- Decidable Equational Classes Matthew A. Valeriote Thu 17 October 2019
- A Deterministic Subexponential Algorithm for Solving Parity Games Marcin. Jurdziński Mike. Paterson Uri. Zwick Thu 17 October 2019
- Interpolants from Z3 Proofs Kenneth L. McMillan Tue 15 October 2019
- Harmonious logic: Craig's interpolation theorem and its descendants Solomon Feferman Tue 15 October 2019
- The Complexity of Propositional Proofs Alasdair Urquhart Mon 14 October 2019
- Complexity of Propositional Proofs Alexander Razborov Mon 14 October 2019
- The Complexity of Propositional Proofs Nathan Segerlind Mon 14 October 2019
- Lower Bounds to the Size of Constant-Depth Propositional Proofs Jan Krajiček Mon 14 October 2019
- An Exponential Lower Bound for the Size of Monotone Real Circuits Armin Haken Stephen A. Cook Mon 14 October 2019
- Monotone Circuit Lower Bounds from Resolution Ankit Garg Mika Gøøs Pritish Kamath Dmitry Sokolov Mon 14 October 2019
- The intractability of resolution Armin Haken Mon 14 October 2019
- Random Formulas, Monotone Circuits, and Interpolation Pavel Hrubes Pavel Pudlák Mon 14 October 2019
- Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix Ravindran Kannan Achim Bachem Mon 14 October 2019
- Functional Programming for Modular Bayesian Inference Adam Ścibior Ohad Kammar Zoubin Ghahramani Mon 14 October 2019
- A Domain Theory for Statistical Probabilistic Programming Matthijs Vákár Ohad Kammar Sam Staton Mon 14 October 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
