- The CtCoq System: Design and Architecture Yves Bertot Fri 02 March 2012
- The gamma-core and coalition formation Parkash Chander Fri 02 March 2012
- Zero-sum constrained stochastic games with independent state processes Eitan Altman Konstantin Avrachenkov Richard Marquez Gregory Miller Fri 02 March 2012
- Nash and Walras equilibrium via Brouwer John Geanakoplos Fri 02 March 2012
- Apparent singularities of linear difference equations with polynomial coefficients S. A. Abramov M. A. Barkatou M. van Hoeij Fri 02 March 2012
- The Correction Capability of the BerlekamptextendashMasseytextendashSakata Algorithm with Majority Voting Maria Bras-Amorós Michael E. O'Sullivan Fri 02 March 2012
- On the zeta Mahler measure function of the Jacobian determinant, condition numbers and the height of the generic discriminant Luis M. Pardo Mario Pardo Fri 02 March 2012
- H -fields and their Liouville extensions Matthias Aschenbrenner Lou van den Dries Fri 02 March 2012
- Efficient Quantum Algorithms for Simulating Sparse Hamiltonians Dominic W. Berry Graeme Ahokas Richard Cleve Barry C. Sanders Fri 02 March 2012
- On the effective Nullstellensatz Zbigniew Jelonek Fri 02 March 2012
- Local André-Oort conjecture for the universal abelian variety Thomas Scanlon Fri 02 March 2012
- On vanishing coefficients of algebraic power series over fields of positive characteristic Boris Adamczewski Jason P. Bell Fri 02 March 2012
- Aperiodic tilings Shahar Mozes Fri 02 March 2012
- Finite Presentations of Infinite Structures: Automata and Interpretations Achim Blumensath Erich Grädel Fri 02 March 2012
- Fixed-Point Logics and Solitaire Games Dietmar Berwanger Erich Gradel Fri 02 March 2012
- A Note on MODp - MODm Circuits Howard Straubing Denis Thérien Fri 02 March 2012
- Tractable Fragments of Presburger Arithmetic K. Subramani Fri 02 March 2012
- A Burnside Approach to the Finite Substitution Problem Daniel Kirsten Fri 02 March 2012
- Exact Algorithms for Graph Homomorphisms Fedor V. Fomin Pinar Heggernes Dieter Kratsch Fri 02 March 2012
- Pattern Matching and Membership for Hierarchical Message Sequence Charts Blaise Genest Anca Muscholl Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
