- Graph Isomorphism is in SPP V. Arvind Piyush P. Kurur Fri 02 March 2012
- Pure future local temporal logics are expressively complete for Mazurkiewicz traces Volker Diekert Paul Gastin Fri 02 March 2012
- On the freeze quantifier in Constraint LTL: Decidability and complexity Stéphane Demri Ranko Lazić David Nowak Fri 02 March 2012
- Resource operators for łambda-calculus Delia Kesner Stéphane Lengrand Fri 02 March 2012
- EilenbergtextendashMoore algebras for stochastic relations Ernst-Erich Doberkat Fri 02 March 2012
- Lower bound technique for length-reducing automata Tomasz Jurdziński Krzysztof Loryś Fri 02 March 2012
- Magic numbers in the state hierarchy of finite automata Viliam Geffert Fri 02 March 2012
- Unambiguous Boolean grammars Alexander Okhotin Fri 02 March 2012
- Recasting MLF Didier Le Botlan Didier Rémy Fri 02 March 2012
- Treewidth computations I. Upper bounds Hans L. Bodlaender Arie M.C.A. Koster Fri 02 March 2012
- Weak bisimulation is sound and complete for Josée Desharnais Vineet Gupta Radha Jagadeesan Prakash Panangaden Fri 02 March 2012
- On the complexity of checking semantic equivalences between pushdown processes and finite-state processes Antonín Kučera Richard Mayr Fri 02 March 2012
- Decision problems for convex languages Janusz Brzozowski Jeffrey Shallit Zhi Xu Fri 02 March 2012
- On the complexity of some colorful problems parameterized by treewidth Michael R. Fellows Fedor V. Fomin Daniel Lokshtanov Frances Rosamond Saket Saurabh Stefan Szeider Carsten Thomassen Fri 02 March 2012
- Unbounded-error quantum computation with small space bounds Abuzer Yakaryilmaz A.C. Cem Say Fri 02 March 2012
- Probabilistic coherence spaces as a model of higher-order probabilistic computation Vincent Danos Thomas Ehrhard Fri 02 March 2012
- Green's theorem and isolation in planar graphs Raghunath Tewari N.V. Vinodchandran Fri 02 March 2012
- Algebraic independence and blackbox identity testing M. Beecken J. Mittmann N. Saxena Fri 02 March 2012
- On the semantics of Markov automata Yuxin Deng Matthew Hennessy Fri 02 March 2012
- Relating computational effects by toptop-lifting Shin-ya Katsumata Fri 02 March 2012
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
