- Unambiguous Finite Automata Christof Løding Fri 08 June 2018
- The Independence of Inherent Ambiguity From Complementedness Among Context-Free Languages Thomas N. Hibbard Joseph Ullian Fri 08 June 2018
- Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata Markus Holzer Martin Kutrib Fri 08 June 2018
- Descriptional Complexity of Unambiguous Input-driven Pushdown Automata Alexander Okhotin Kai Salomaa Fri 08 June 2018
- Equilibrium Points of Bimatrix Games C. E. Lemke J. T. Howson Thu 07 June 2018
- The Multiple Dimensions of Mean-Payoff Games Laurent Doyen Wed 06 June 2018
- A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games L. Daviaud M. Jurdzinski R. Lazic Wed 06 June 2018
- Closing the Gap -- The Formally Verified Optimizing Compiler CompCert Daniel Kastner Xavier Leroy Sandrine Blazy Bernhard Schommer Michael Schmidt Christian Ferdinand Mon 04 June 2018
- A Temporal Logic of Nested Calls and Returns Rajeev Alur Kousha Etessami P. Madhusudan Sun 03 June 2018
- Some Recent Results in Metric Temporal Logic Joel Ouaknine James Worrell Sun 03 June 2018
- Specifying Real-time Properties with Metric Temporal Logic Ron Koymans Sun 03 June 2018
- Beyond admissibility: Dominance between chains of strategies N. Basset I. Jecker A. Pauly J.-F. Raskin M. Van den Bogaard Sat 02 June 2018
- The Logic of Event Clocks: Decidability, Complexity and Expressiveness Jean-François Raskin Pierre-Yves Schobbens Fri 01 June 2018
- Event-Clock Nested Automata Laura Bozzelli Aniello Murano Adriano Peron Wed 30 May 2018
- Timed recursive state machines: Expressiveness and complexity Massimo Benerecetti Adriano Peron Wed 30 May 2018
- Computing Correlated Equilibria in Multi-player Games Christos H. Papadimitriou Tim Roughgarden Wed 30 May 2018
- Settling the Complexity of Computing Two-player Nash Equilibria Xi Chen Xiaotie Deng Shang-Hua Teng Wed 30 May 2018
- The Complexity of Computing a Nash Equilibrium Constantinos Daskalakis Paul W. Goldberg Christos H. Papadimitriou Wed 30 May 2018
- The Complexity of Computing a Nash Equilibrium Constantinos Daskalakis Paul W. Goldberg Christos H. Papadimitriou Wed 30 May 2018
- Zero-Sum Polymatrix Games: A Generalization of Minmax Yang Cai Ozan Candogan Constantinos Daskalakis Christos Papadimitriou Wed 30 May 2018
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
