- A note on the attractor-property of infinite-state Markov chains Christel Baier Nathalie Bertrand Philippe Schnoebelen Fri 02 March 2012
- Mu-calculus path checking Nicolas Markey Philippe Schnoebelen Fri 02 March 2012
- Improved undecidability results on weighted timed automata Patricia Bouyer Thomas Brihaye Nicolas Markey Fri 02 March 2012
- Some observations on LR-like parsing with delayed reduction E. Bertsch M.-J. Nederhof Fri 02 March 2012
- Streaming tree automata Olivier Gauwin Joachim Niehren Yves Roos Fri 02 March 2012
- Efficient algorithms for clique problems Virginia Vassilevska Fri 02 March 2012
- EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system Sławomir Lasota Fri 02 March 2012
- Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal Marcin Balcerzak Damian Niwiński Fri 02 March 2012
- Intractability of min- and max-cut in streaming graphs Mariano Zelke Fri 02 March 2012
- Parikh's theorem: A simple and direct automaton construction Javier Esparza Pierre Ganty Stefan Kiefer Michael Luttenberger Fri 02 March 2012
- On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements Marc Gyssens Mathias Niepert Dirk Van Gucht Fri 02 March 2012
- L-visibility drawings of IC-planar graphs Giuseppe Liotta Fabrizio Montecchiani Fri 02 March 2012
- Lengths of words accepted by nondeterministic finite automata Aaron Potechin Jeffrey Shallit Fri 02 March 2012
- Model checking propositional dynamic logic with all extras Martin Lange Fri 02 March 2012
- On database query languages for K-relations Floris Geerts Antonella Poggi Fri 02 March 2012
- Reasoning about XML with temporal logics and automata Leonid Libkin Cristina Sirangelo Fri 02 March 2012
- The axiomatization of override and update Jasper Berendsen David N. Jansen Julien Schmaltz Frits W. Vaandrager Fri 02 March 2012
- Cut elimination for a logic with induction and co-induction Alwen Tiu Alberto Momigliano Fri 02 March 2012
- Bridging Curry and Churchtextquotesingles typing style Fairouz Kamareddine Jonathan P. Seldin J.B. Wells Fri 02 March 2012
- The submonoid and rational subset membership problems for graph groups Markus Lohrey Benjamin Steinberg Fri 02 March 2012
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
