- Reduced Gröbner Bases, Free DifferencetextendashDifferential Modules and DifferencetextendashDifferential Dimension Polynomials Alexander Levin Fri 02 March 2012
- Factoring Polynomials Over Finite Fields: A Survey Joachim von zur Gathen Daniel Panario Fri 02 March 2012
- Complexity of the Havas, Majewski, Matthews LLL Hermite Normal Form Algorithm Wilberd Van Der Kallen Fri 02 March 2012
- Improved Projection for Cylindrical Algebraic Decomposition Christopher W. Brown Fri 02 March 2012
- A Probabilistic Algorithm to Test Local Algebraic Observability in Polynomial Time Alexandre Sedoglavic Fri 02 March 2012
- Introduction to Hybrid Systems Michael S. Branicky Fri 02 March 2012
- Interface-Based Design Luca Alfaro Thomas A. Henzinger Fri 02 March 2012
- Kripke, Belnap, Urquhart and Relevant Decidability & Complexity Jacques Riche Robert K. Meyer Fri 02 March 2012
- A Calculus for Interaction Nets Maribel Fernández Ian Mackie Fri 02 March 2012
- Factoring Polynomials over rho-Adic Fields David G. Cantor Daniel M. Gordon Fri 02 March 2012
- A Discrete Strategy Improvement Algorithm for Solving Parity Games Jens Vöge Marcin Jurdziński Fri 02 March 2012
- Model Checking Continuous-Time Markov Chains by Transient Analysis Christel Baier Boudewijn Haverkort Holger Hermanns Joost-Pieter Katoen Fri 02 March 2012
- An Automata-Theoretic Approach to Reasoning about Infinite-State Systems Orna Kupferman Moshe Y. Vardi Fri 02 March 2012
- Automatic Verification of Parameterized Cache Coherence Protocols Giorgio Delzanno Fri 02 March 2012
- The Temporal Rover and the ATG Rover Doron Drusinsky Fri 02 March 2012
- Bebop: A Symbolic Model Checker for Boolean Programs Thomas Ball Sriram K. Rajamani Fri 02 March 2012
- Program Extraction from Large Proof Developments Luís Cruz-Filipe Bas Spitters Fri 02 March 2012
- Reducibility and tophspace0.167emtop-Lifting for Computation Types Sam Lindley Ian Stark Fri 02 March 2012
- Abstract Geometrical Computation: Turing-Computing Ability and Undecidability Jérôme Durand-Lose Fri 02 March 2012
- The Fan Theorem and Uniform Continuity Josef Berger Fri 02 March 2012
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
