- On the Decidability of Reachability in Linear Time-Invariant Systems Nathanael Fijalkow Joel Ouaknine Amaury Pouly João Sousa-Pinto James Worrell Mon 18 March 2019
- The complexity of mean payoff games using universal graphs Nathanael Fijalkow Paweł Gawrychowski Pierre Ohlmann Mon 18 March 2019
- On the Power of Symmetric Linear Programs Albert Atserias Anuj Dawar Joanna Ochremiak Mon 18 March 2019
- On the Termination Problem for Probabilistic Higher-Order Recursive Programs Naoki Kobayashi Ugo Dal Lago Charles Grellois Fri 15 March 2019
- Stochastic games and their complexities Marcin Przybyłko Fri 15 March 2019
- On Computing the Measures of First-Order Definable Sets of Trees Marcin Przybyłko Thu 14 March 2019
- Timed Systems through the Lens of Logic S. Akshay Paul Gastin Vincent Juge Shankara Narayanan Krishna Thu 14 March 2019
- Measure properties of regular sets of trees Tomasz Gogacz Henryk Michalewski Matteo Mio Michał Skrzypczak Thu 14 March 2019
- Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 Filip Marić Predrag Janičić Marko Maliković Thu 14 March 2019
- Equivalence of pushdown automata via first-order grammars Petr Jancar Thu 14 March 2019
- Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees Alain Colmerauer Thi-Bich-Hanh Dao Tue 12 March 2019
- Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees Alain Colmerauer Thi-Bich-Hanh Dao Tue 12 March 2019
- Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization Alessandro Cimatti Alberto Griggio Ahmed Irfan Marco Roveri Roberto Sebastiani Tue 12 March 2019
- On the complexity of quantified linear systems Salvatore Ruggieri Pavlos Eirinakis K. Subramani Piotr Wojciechowski Tue 12 March 2019
- On the Complexity of Linear Arithmetic with Divisibility Antonia Lechner Joel Ouaknine James Worrell Tue 12 March 2019
- Learning regular languages offline from a positive sample Stanisław Purgał Tue 12 March 2019
- On the Complexity of Propositional Quantification in Intuitionistic Logic Philip Kremer Sun 10 March 2019
- Dependently Typed Metaprogramming (in Agda) Conor McBride Sun 10 March 2019
- On the Mints Hierarchy in First-Order Intuitionistic Logic Aleksy Schubert Paweł Urzyczyn Konrad Zdanowski Sat 09 March 2019
- Buchi Complementation and Size-Change Termination Seth Fogarty Moshe Y. Vardi Fri 08 March 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
