- New effective differential Nullstellensatz Richard Gustavson Marina Kondratieva Alexey Ovchinnikov Fri 02 March 2012
- Proof mining and effective bounds in differential polynomial rings William Simmons Henry Towsner Fri 02 March 2012
- An existential locality theorem Martin Grohe Stefan Wöhrle Fri 02 March 2012
- Modal and guarded characterisation theorems over finite transition systems Martin Otto Fri 02 March 2012
- Unrecognizability of manifolds A.V. Chernavsky V.P. Leksine Fri 02 March 2012
- Classifying the phase transition threshold for Ackermannian functions Eran Omri Andreas Weiermann Fri 02 March 2012
- System BV is NP-complete Ozan Kahramanoğullari Fri 02 March 2012
- D-completions and the d-topology Klaus Keimel Jimmie D. Lawson Fri 02 March 2012
- Topological differential fields Nicolas Guzy Françoise Point Fri 02 March 2012
- The Peirce translation Martín Escardó Paulo Oliva Fri 02 March 2012
- Closed choice and a Uniform Low Basis Theorem Vasco Brattka Matthew de Brecht Arno Pauly Fri 02 March 2012
- Continuation-passing style models complete for intuitionistic logic Danko Ilik Fri 02 March 2012
- Extension without cut Lutz Straßburger Fri 02 March 2012
- Turing meets Schanuel Angus Macintyre Fri 02 March 2012
- Direct twisted Galois stratification Ivan Tomašić Fri 02 March 2012
- A logical approach to context-specific independence Jukka Corander Antti Hyttinen Juha Kontinen Johan Pensar Jouko Väänänen Fri 02 March 2012
- The fluted fragment with transitive relations Ian Pratt-Hartmann Lidia Tendera Fri 02 March 2012
- On optimal and reasonable control in the presence of adversaries Oded Maler Fri 02 March 2012
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems F. Belardinelli A. Lomuscio Fri 02 March 2012
- On the conditional independence implication problem: A lattice-theoretic approach Mathias Niepert Marc Gyssens Bassem Sayrafi Dirk Van Gucht Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
