- Formalising perfectoid spaces Kevin Buzzard Johan Commelin Patrick Massot Fri 02 March 2012
- A Cellular Howe Theorem Peio Borthelle Tom Hirschowitz Ambroise Lafont Fri 02 March 2012
- A characterisation of ordered abstract probabilities Abraham Westerbaan Bas Westerbaan John van de Wetering Fri 02 March 2012
- A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity Clemens Grabmayer Wan Fokkink Fri 02 March 2012
- Temporal Constraint Satisfaction Problems in Fixed-Point Logic Manuel Bodirsky Wied Pakusa Jakub Rydval Fri 02 March 2012
- A Higher Structure Identity Principle Benedikt Ahrens Paige Randall North Michael Shulman Dimitris Tsementzis Fri 02 March 2012
- Lower Bounds for QBFs of Bounded Treewidth Johannes K. Fichte Markus Hecher Andreas Pfandler Fri 02 March 2012
- Cones as a model of intuitionistic linear logic Thomas Ehrhard Fri 02 March 2012
- Approximating Values of Generalized-Reachability Stochastic Games Pranav Ashok Krishnendu Chatterjee Jan Křetínský Maximilian Weininger Tobias Winkler Fri 02 March 2012
- Logic Beyond Formulas Matteo Acclavio Ross Horne Lutz Straßburger Fri 02 March 2012
- The Hidden Subgroup Problem for Universal Algebras Matthew Moore Taylor Walenczyk Fri 02 March 2012
- On Computability of Logical Approaches to Branching-Time Property Verification of Programs Takeshi Tsukada Fri 02 March 2012
- Successor-Invariant First-Order Logic on Classes of Bounded Degree Julien Grange Fri 02 March 2012
- A tier-based typed programming language characterizing Feasible Functionals Emmanuel Hainry Bruce M. Kapron Jean-Yves Marion Romain Péchoux Fri 02 March 2012
- Algebraic models of simple type theories Nathanael Arkor Marcelo Fiore Fri 02 March 2012
- Descriptive complexity of real computation and probabilistic independence logic Miika Hannula Juha Kontinen Jan Van den Bussche Jonni Virtema Fri 02 March 2012
- Consuming and Persistent Types for Classical Logic Delia Kesner Pierre Vial Fri 02 March 2012
- Intermediate problems in modular circuits satisfiability Paweł M. Idziak Piotr Kawałek Jacek Krzaczkowski Fri 02 March 2012
- The Complexity of Dynamic Data Race Prediction Umang Mathur Andreas Pavlogiannis Mahesh Viswanathan Fri 02 March 2012
- A Hennessy-Milner Theorem for ATL with Imperfect Information Francesco Belardinelli Catalin Dima Vadim Malvone Ferucio Tiplea Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
