- On synthetic undecidability in Coq, with an application to the Entscheidungsproblem Yannick Forster Dominik Kirst Gert Smolka Fri 02 March 2012
- Smooth manifolds and types to sets for linear algebra in Isabelle/HOL Fabian Immler Bohua Zhan Fri 02 March 2012
- Expressive cardinality constraints on ALCSCC concepts Franz Baader Fri 02 March 2012
- Algebraic approach to promise constraint satisfaction Jakub Bulín Andrei Krokhin Jakub Opršal Fri 02 March 2012
- Separating monotone VP and VNP Amir Yehudayoff Fri 02 March 2012
- The complexity of splitting necklaces and bisecting ham sandwiches Aris Filos-Ratsikas Paul W. Goldberg Fri 02 March 2012
- A strongly polynomial algorithm for linear exchange markets Jugal Garg László A. Végh Fri 02 March 2012
- Sylvester-Gallai type theorems for quadratic polynomials Amir Shpilka Fri 02 March 2012
- Finding a Nash equilibrium is no easier than breaking Fiat-Shamir Arka Rai Choudhuri Pavel Hubáček Chethan Kamath Krzysztof Pietrzak Alon Rosen Guy N. Rothblum Fri 02 March 2012
- Argosy: verifying layered storage systems with recovery refinement Tej Chajed Joseph Tassarotti M. Frans Kaashoek Nickolai Zeldovich Fri 02 March 2012
- A complete formal semantics of x86-64 user-level instruction set architecture Sandeep Dasgupta Daejun Park Theodoros Kasampalis Vikram S. Adve Grigore Roşu Fri 02 March 2012
- Detecting global variables in denotational specifications David A. Schmidt Fri 02 March 2012
- Aggregation Support for Modern Graph Analytics in TigerGraph Alin Deutsch Yu Xu Mingxi Wu Victor E. Lee Fri 02 March 2012
- De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic Ross Horne Alwen Tiu Bogdan Aman Gabriel Ciobanu Fri 02 March 2012
- Implementations of Efficient Univariate Polynomial Matrix Algorithms and Application to Bivariate Resultants Seung Gyu Hyun Vincent Neiger Éric Schost Fri 02 March 2012
- Making abstract interpretations complete Roberto Giacobazzi Francesco Ranzato Francesca Scozzari Fri 02 March 2012
- Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers Cristina Borralleras Daniel Larraz Enric Rodríguez-Carbonell Albert Oliveras Albert Rubio Fri 02 March 2012
- Simple noninterference from parametricity Maximilian Algehed Jean-Philippe Bernardy Fri 02 March 2012
- Implementing a modal dependent type theory Daniel Gratzer Jonathan Sterling Lars Birkedal Fri 02 March 2012
- Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks Patrick Bahr Christian Uldal Graulund Rasmus Ejlers Møgelberg Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
