- A Short Solution of the HDT0L Sequence Equivalence Problem Juha Honkala Wed 17 July 2019
- On the Decidability of Temporal Properties of Probabilistic Pushdown Automata Tomáš Brázdil Antonín Kučera Oldřich Strażovský Wed 17 July 2019
- On Relating Time and Space to Size and Depth A. Borodin Sun 14 July 2019
- Normal-form transformations of context-free grammars Gunter Hotz Sun 14 July 2019
- Equilibria, Fixed Points, and Complexity Classes Mihalis Yannakakis Sat 13 July 2019
- On the Relative Succinctness of Sentential Decision Diagrams Beate Bollig Matthias Buttkus Sat 13 July 2019
- A Knowledge Compilation Map Adnan Darwiche Pierre Marquis Sat 13 July 2019
- From winning strategy to Nash equilibrium Stéphane Le Roux Fri 12 July 2019
- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes Stéphane Le Roux Guillermo A. Pérez Fri 12 July 2019
- Minkowski Games Stéphane Le Roux Arno Pauly Jean-François Raskin Fri 12 July 2019
- Memoryless determinacy of infinite parity games: Another simple proof Stéphane Le Roux Fri 12 July 2019
- Weihrauch Complexity in Computable Analysis Vasco Brattka Guido Gherardi Arno Pauly Fri 12 July 2019
- Mojżesz presburger: life and work Jan Zygmunt Thu 11 July 2019
- On Semilinear Sets over Commutative Semirings Manfred Kudlek Thu 11 July 2019
- On Presburger Arithmetic Extended with Modulo Counting Quantifiers Peter Habermehl Dietrich Kuske Thu 11 July 2019
- Presburger Arithmetic, Rational Generating Functions, and Quasi-polynomials Kevin Woods Thu 11 July 2019
- A linear programming primer: from Fourier to Karmarkar Atlanta Chakraborty Vijay Chandru M. R. Rao Thu 11 July 2019
- Fourier's Method of Linear Programming and Its Dual H. P. Williams Thu 11 July 2019
- The Complexity of Almost Linear Diophantine Problems V. Weispfenning Thu 11 July 2019
- Arithmetic, First-order Logic, and Counting Quantifiers Nicole Schweikardt Thu 11 July 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
