- On Long Normal Inhabitants of a Type Sabine Broda Luís Damas Fri 02 March 2012
- On Product Logic with Truth-constants Petr Savický Roberto Cignoli Francesc Esteva Lluís Godo Carles Noguera Fri 02 March 2012
- Comparing LTL Semantics for Runtime Verification A. Bauer M. Leucker C. Schallhart Fri 02 March 2012
- Higher Types, Finite Domains and Resource-bounded Turing Machines L. Kristiansen Fri 02 March 2012
- Sequent calculi for induction and infinite descent J. Brotherston A. Simpson Fri 02 March 2012
- A deep inference system with a self-dual binder which is complete for linear lambda calculus Luca Roversi Fri 02 March 2012
- On modal extensions of Product fuzzy logic Amanda Vidal Francesc Esteva Lluis Godo Fri 02 March 2012
- Equivalence closure in the two-variable guarded fragment Emanuel Kieroński Ian Pratt-Hartmann Lidia Tendera Fri 02 March 2012
- Shapely monads and analytic functors Richard Garner Tom Hirschowitz Fri 02 March 2012
- How functional programming mattered Zhenjiang Hu John Hughes Meng Wang Fri 02 March 2012
- The conjugate dimension of algebraic numbers N. Berry Fri 02 March 2012
- ON THE ESTIMATION OF A. E. INGHAM Fri 02 March 2012
- Global Income Distribution: From the Fall of the Berlin Wall to the Great Recession Christoph Lakner Branko Milanovic Fri 02 March 2012
- Structural identifiability of the generalized Lotka-Volterra model for microbiome studies Christopher H. Remien Mariah J. Eckwright Benjamin J. Ridenhour Fri 02 March 2012
- The challenge of computer mathematics Henk Barendregt Freek Wiedijk Fri 02 March 2012
- An intermediate level of abstraction for computational systems chemistry Jakob L. Andersen Christoph Flamm Daniel Merkle Peter F. Stadler Fri 02 March 2012
- Reducing the number of non-Clifford gates in quantum circuits Aleks Kissinger John van de Wetering Fri 02 March 2012
- Elementary gates for quantum computation Adriano Barenco Charles H. Bennett Richard Cleve David P. DiVincenzo Norman Margolus Peter Shor Tycho Sleator John A. Smolin Harald Weinfurter Fri 02 March 2012
- Kochen-Specker set with seven contexts Petr Lisoněk Piotr Badziąg José R. Portillo Adán Cabello Fri 02 March 2012
- Bounding the quantum dimension with contextuality Otfried Gühne Costantino Budroni Adán Cabello Matthias Kleinmann Jan-AAke Larsson Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
