- Quantifier Alternation for Infinite Words Théo Pierron Thomas Place Marc Zeitoun Tue 23 February 2016
- Robust Equilibria in Concurrent Games Romain Brenguier Tue 23 February 2016
- Trace Refinement in Labelled Markov Decision Processes Nathanael Fijalkow Stefan Kiefer Mahsa Shirmohammadi Tue 23 February 2016
- An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation Jan Friso Groote Anton Wijs Tue 23 February 2016
- Abstraction Refinement for Trace Inclusion of Infinite State Systems Radu Iosif Adam Rogalewicz Tomas Vojnar Tue 23 February 2016
- Approaching the Coverability Problem Continuously Michael Blondin Alain Finkel Christoph Haase Serge Haddad Tue 23 February 2016
- Forward Analysis for WSTS, Part I: Completions Alain Finkel Jean Goubault-Larrecq Tue 16 February 2016
- The Unsolvability of the Equivalence Problem for e-Free NGSM's with Unary Input (Output) Alphabet and Applications Oscar H. Ibarra Wed 10 February 2016
- On the decidability of some problems about rational subsets of free partially commutative monoids Alan Gibbons Wojciech Rytter Wed 10 February 2016
- On Reversal-Bounded Counter Machines and on Pushdown Automata with a Bound on the Size of the Pushdown Store Pavol Duris Zvi Galil Wed 10 February 2016
- Vector addition systems and regular languages A. Ginzburg M. Yoeli Tue 09 February 2016
- Rational sets in commutative monoids Samuel Eilenberg Marcel-Paul Schützenberger Mon 01 February 2016
- Aperiodic pointlikes and beyond Karsten Henckell John Rhodes Benjamin Steinberg Fri 29 January 2016
- Pointlike sets: the finest aperiodic cover of a finite semigroup Karsten Henckell Fri 29 January 2016
- On The Profinite Topology on a Free Group Luis Ribes Pavel A. Zaleski Fri 29 January 2016
- Inevitable graphs: a proof of the type II conjecture and some related decision procedures C. J. Ash Fri 29 January 2016
- Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory William Craig Fri 29 January 2016
- On Upper and Lower Bounds on the Length of Alternating Towers Stepan Holub Galina Jirásková Tomás Masopust Fri 29 January 2016
- Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages Thomas Place Lorijn van Rooijen Marc Zeitoun Fri 29 January 2016
- Applications of Craig Interpolants in Model Checking K. L. McMillan Fri 29 January 2016
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
