- An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree Lucas Heimberg Dietrich Kuske Nicole Schweikardt Fri 02 March 2012
- Turing Machines with Atoms Mikolaj Bojanczyk Bartek Klin Slawomir Lasota Szymon Torunczyk Fri 02 March 2012
- Decidability of Weak Simulation on One-Counter Nets Piotr Hofman Richard Mayr Patrick Totzke Fri 02 March 2012
- Calculating the Fundamental Group of the Circle in Homotopy Type Theory Daniel R. Licata Michael Shulman Fri 02 March 2012
- The Cost of Usage in the -Calculus Andrea Asperti Jean-Jacques Levy Fri 02 March 2012
- Long-Run Average Behaviour of Probabilistic Vector Addition Systems Toma Brazdil Stefan Kiefer Antonin Kucera Petr Novotny Fri 02 March 2012
- Petri Automata for Kleene Allegories Paul Brunet Damien Pous Fri 02 March 2012
- Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras Sebastian Enqvist Fatemeh Seifan Yde Venema Fri 02 March 2012
- Defining Winning Strategies in Fixed-Point Logic Felix Canavoi Erich Gradel Simon Lessenich Wied Pakusa Fri 02 March 2012
- Locally Finite Constraint Satisfaction Problems Bartek Klin Eryk Kopczynski Joanna Ochremiak Szymon Torunczyk Fri 02 March 2012
- One Context Unification Problems Solvable in Polynomial Time Adria Gascon Ashish Tiwari Manfred Schmidt Schaus Fri 02 March 2012
- A Diagrammatic Axiomatisation for Qubit Entanglement Amar Hadzihasanovic Fri 02 March 2012
- The Target Discounted-Sum Problem Udi Boker Thomas A. Henzinger Jan Otop Fri 02 March 2012
- Linear combinations of unordered data vectors Piotr Hofman Jerome Leroux Patrick Totzke Fri 02 March 2012
- Foundation for a series of efficient simulation algorithms Gerard Cece Fri 02 March 2012
- Higher-order parity automata Paul-Andre Mellies Fri 02 March 2012
- Regular separability of one counter automata Wojciech Czerwinski Slawomir Lasota Fri 02 March 2012
- Dual-context calculi for modal logic G. A. Kavvos Fri 02 March 2012
- Succinct progress measures for solving parity games Marcin Jurdzinski Ranko Lazic Fri 02 March 2012
- A categorical semantics for causal structure Aleks Kissinger Sander Uijlen Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
