- On Nonterminating Stochastic Games A. J. Hoffman R. M. Karp Mon 10 February 2014
- New Results on Quantifier Elimination over Real Closed Fields and Applications to Constraint Databases Saugata Basu Mon 10 February 2014
- Course on algorithmic game theory Kousha Etessami Mon 10 February 2014
- Measuring Permissivity in Finite Games Patricia Bouyer Marie Duflot Nicolas Markey Gabriel Renault Mon 10 February 2014
- Down the Borel Hierarchy: Solving Muller Games via Safety Games Daniel Neider Roman Rabinovich Martin Zimmermann Mon 10 February 2014
- Permissive strategies: from parity games to safety games Julien Bernet David Janin Igor Walukiewicz Mon 10 February 2014
- A survey of the project AUTOMATH N. G. de Bruijn Wed 05 February 2014
- Finite-State Transducers As Regular Bøhm Trees Gérard P. Huet Henri Laulhère Wed 05 February 2014
- The Expressiveness of Simple and Second-Order Type Structures Steven Fortune Daniel Leivant Michael O'Donnell Wed 05 February 2014
- Polymorphism is not set-theoretic JohnC. Reynolds Tue 04 February 2014
- Faking it Simulating dependent types in Haskell Conor McBride Mon 03 February 2014
- Multiple-person Alternation Gary L. Peterson John H. Reif Fri 31 January 2014
- Modular strategies for recursive game graphs Rajeev Alur Salvatore La Torre P. Madhusudan Fri 31 January 2014
- Computations in Orthogonal Rewriting Systems, I Gérard P. Huet Jean-Jacques Lévy Fri 31 January 2014
- Computations in Orthogonal Rewriting Systems, II Gérard P. Huet Jean-Jacques Lévy Fri 31 January 2014
- Solving Counter Parity Games Dietmar Berwanger Łukasz Kaiser Simon Leßenich Fri 31 January 2014
- Parity and Exploration Games on Infinite Graphs Hugo Gimbert Fri 31 January 2014
- A Further Note on Inductive Generalization Gordon Plotkin Fri 31 January 2014
- A Note on Inductive Generalization Gordon Plotkin Fri 31 January 2014
- Transformational Systems and the Algebraic Structure of Atomic Formulas John C. Reynolds Fri 31 January 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
