- Decidability of extensions of Presburger arithmetic by generalised polynomials Jakub Konieczny Tue 02 April 2024
- Learning Algorithms for Verification of Markov Decision Processes Tomáš Brázdil Krishnendu Chatterjee Martin Chmelik Vojtěch Forejt Jan Křetínský Marta Kwiatkowska Tobias Meggendorfer David Parker Mateusz Ujma Tue 02 April 2024
- The 2-MAXSAT Problem Can Be Solved in Polynomial Time Yangjun Chen Tue 02 April 2024
- Finite Variable Logics in Descriptive Complexity Theory Martin Grohe Sun 31 March 2024
- A decision method for validity of sentences in two variables Dana Scott Sun 31 March 2024
- On logics with two variables Erich Grädel Martin Otto Sun 31 March 2024
- The Two-Variable Fragment with Counting Revisited Ian Pratt-Hartmann Sun 31 March 2024
- Two-Variable Logic with Counting and Trees Witold Charatonik Piotr Witkowski Sun 31 March 2024
- Logic and Languages of Higher-Dimensional Automata Amazigh Amrane Hugo Bazille Uli Fahrenberg Marie Fortin Sun 31 March 2024
- Chase Termination Beyond Polynomial Time Philipp Hanisch Markus Krøtzsch Sun 31 March 2024
- The Futures of Reactive Synthesis (Dagstuhl Seminar 23391) Nathanaël Fijalkow Bernd Finkbeiner Guillermo A. Pérez Elizabeth Polgreen Rémi Morvan Sat 30 March 2024
- On the generalized Ritt problem as a computational problem O. D. Golubitsky M. V. Kondratieva A. I. Ovchinnikov Sat 30 March 2024
- On the ring of Hurwitz series William F. Keigher Wed 27 March 2024
- Application of Nash equilibrium for developing an optimal forest harvesting strategy in Toruń Forest District Jan Kotlarz Tue 26 March 2024
- The equational theory of the Weihrauch lattice with multiplication Eike Neumann Arno Pauly Cécilia Pradic Tue 26 March 2024
- Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes Jan Dreier Nikolas Mahlmann Szymon Toruńczyk Tue 26 March 2024
- Are Targeted Messages More Effective Martin Grohe Eran Rosenbluth Sun 24 March 2024
- Multiple Reachability in Linear Dynamical Systems Toghrul Karimov Edon Kelmendi Joel Ouaknine James Worrell Sun 24 March 2024
- Synthesis of Robust Optimal Strategies in Weighted Timed Games Benjamin Monmege Julie Parreaux Pierre-Alain Reynier Sun 24 March 2024
- Complexity problems in enumerative combinatorics Igor Pak Fri 22 March 2024
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
