- Determinization of transducers over finite and infinite words Marie-Pierre Béal Olivier Carton Fri 02 March 2012
- Sequential grammars and automata with valences Henning Fernau Ralf Stiebe Fri 02 March 2012
- The definable criterion for definability in Presburger arithmetic and its applications An.A. Muchnik Fri 02 March 2012
- The power of reachability testing for timed automata Luca Aceto Patricia Bouyer Augusto Burgueño Kim G Larsen Fri 02 March 2012
- The complexity of the characteristic and the minimal polynomial Thanh Minh Hoang Thomas Thierauf Fri 02 March 2012
- Hybrid action systems Mauno Rönkkö Anders P. Ravn Kaisa Sere Fri 02 March 2012
- The monadic second-order logic of graphs XIV: uniformly sparse graphs and edge set quantifications Bruno Courcelle Fri 02 March 2012
- The dynamic complexity of transitive closure is in DynTC0 William Hesse Fri 02 March 2012
- On the independence of equations in three variables Tero Harju Dirk Nowotka Fri 02 March 2012
- On iterating linear transformations over recognizable sets of integers Bernard Boigelot Fri 02 March 2012
- The regular-language semantics of second-order idealized ALGOL Dan R. Ghica Guy McCusker Fri 02 March 2012
- The differential lambda-calculus Thomas Ehrhard Laurent Regnier Fri 02 March 2012
- Complexity results for two-way and multi-pebble automata and their logics Noa Globerman David Harel Fri 02 March 2012
- Representing inductively defined sets by wellorderings in Martin-Löftextquotesingles type theory Peter Dybjer Fri 02 March 2012
- Fugitive-search games on graphs and related parameters Nick D. Dendris Lefteris M. Kirousis Dimitrios M. Thilikos Fri 02 March 2012
- An improved algorithm for the evaluation of fixpoint expressions A. Browne E.M. Clarke S. Jha D.E. Long W. Marrero Fri 02 March 2012
- Confluence for process verification J.F. Groote M.P.A. Sellink Fri 02 March 2012
- Ordinal recursive bounds for Higmantextquotesingles theorem E.A. Cichon E.Tahhan Bittar Fri 02 March 2012
- On the equivalence problem for letter-to-letter top-down tree transducers Yves Andre Francis Bossut Fri 02 March 2012
- On the algebraic structure of combinatorial problems Peter Jeavons Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
