- Higher type Automata-Logic-Games Correspondences Luke Ong Mon 26 June 2017
- Algebra valued functors in general and tensor products in particular Peter Freyd Mon 26 June 2017
- Algebraic Theories Gavin C. Wraith Mon 26 June 2017
- Automated verification of automata communicating via FIFO and bag buffers Lakhdar Akroun Gwen Salaun Mon 26 June 2017
- Unrestricted Stone Duality for Markov Processes Robert Furber Dexter Kozen Kim Larsen Radu Mardare Prakash Panangaden Thu 22 June 2017
- Higher-order parity automata Paul-André Melliès Thu 22 June 2017
- On axiomatic systems in mathematics and theories in physics Robin Oliver Gandy Thu 22 June 2017
- General Agreement Neil Savage Mon 12 June 2017
- Understanding Fault-tolerant Distributed Systems Flavin Cristian Mon 12 June 2017
- Computer aided synthesis: a game theoretic approach Véronique Bruyère Sun 11 June 2017
- Deciding finiteness of Petri nets up to bisimulation Petr Jančar Javier Esparza Fri 09 June 2017
- The pseudovariety J is hyperdecidable J. Almeida M. Zeitoun Thu 08 June 2017
- A cartesian-closed category for higher-order model checking Martin Hofmann Jérémy Ledent Fri 02 June 2017
- Coverability in a NonFunctional Extension of BVASS Paulin Jacobé De Naurois Fri 02 June 2017
- Expand, Enlarge, and Check for Branching Vector Addition Systems Rupak Majumdar Zilong Wang Thu 01 June 2017
- Karp-Miller Trees for a Branching Extension of VASS Kumar Neeraj Verma Jean Goubault-Larrecq Thu 01 June 2017
- Ideal Decompositions for Vector Addition Systems (Invited Talk) Jérôme Leroux Sylvain Schmitz Thu 01 June 2017
- Compiling Untyped Lambda Calculus to Lower-level Code by Game Semantics and Partial Evaluation (Invited Paper) Daniil Berezun Neil D. Jones Sun 21 May 2017
- Automata, Logic and Games for the Lambda Calculus - Recent Developments in Higher-Order Model Checking Luke Ong Sun 21 May 2017
- Game semantics of higher-order recursion schemes establishes the decidability of MSO model-checking Charles Grellois Sun 21 May 2017
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
