- Reversible Space Equals Deterministic Space Klaus-Jörn Lange Pierre McKenzie Alain Tapp Fri 02 March 2012
- A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars Roderick Bloem Joost Engelfriet Fri 02 March 2012
- Conjunctive-Query Containment and Constraint Satisfaction Phokion G. Kolaitis Moshe Y. Vardi Fri 02 March 2012
- On the Complexity of k-SAT Russell Impagliazzo Ramamohan Paturi Fri 02 March 2012
- Integer Circuit Evaluation Is PSPACE-Complete Ke Yang Fri 02 March 2012
- Some Decision Problems Concerning Semilinearity and Commutation Tero Harju Oscar Ibarra Juhani Karhumäki Arto Salomaa Fri 02 March 2012
- A Fully Dynamic Algorithm for Maintaining the Transitive Closure Valerie King Garry Sagert Fri 02 March 2012
- A Classic Proof of a Recurrence for a Very Classical Sequence Dominique Foata Doron Zeilberger Fri 02 March 2012
- Long Finite Sequences Harvey M. Friedman Fri 02 March 2012
- Quickly Excluding a Planar Graph N. Robertson P. Seymour R. Thomas Fri 02 March 2012
- Unavoidable Minors of Large 3-Connected Binary Matroids Guoli Ding Bogdan Oporowski James Oxley Dirk Vertigan Fri 02 March 2012
- A New Solution to the Random Assignment Problem Anna Bogomolnaia Hervé Moulin Fri 02 March 2012
- Asymptotic Solutions of Y=F(x)Y M. Rosenlicht Fri 02 March 2012
- Computer Algebra Libraries for Combinatorial Structures Philippe Flajolet Bruno Salvy Fri 02 March 2012
- Converting Bases with the Gröbner Walk S. COLLART M. KALKBRENER D. MALL Fri 02 March 2012
- How to Recognize Zero DANIEL RICHARDSON Fri 02 March 2012
- A Generic Approach to Building User Interfaces for Theorem Provers Y. Bertot L. Théry Fri 02 March 2012
- Interactive Theorem Proving: An Empirical Study of User Activity J.S. Aitken P. Gray T. Melham M. Thomas Fri 02 March 2012
- The Geobucket Data Structure for Polynomials T. Yan Fri 02 March 2012
- A Polynomial Time Algorithm for Diophantine Equations in One Variable F CUCKER P KOIRAN S SMALE Fri 02 March 2012
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
