- GrøBner Bases and the Defining Polynomial of a Context-free Grammar Generating Function Alois Panholzer Fri 25 May 2018
- Satisfiability of Xpath on Data Trees Diego Figueira Thu 24 May 2018
- Automatic Verification of Database-centric Systems Alin Deutsch Richard Hull Yuliang Li Victor Vianu Thu 24 May 2018
- Ehrenfeucht, Vaught, and the Decidability of the Weak Monadic Theory of Successor Wolfgang Thomas Thu 24 May 2018
- Verification Column Ranko Lazić Thu 24 May 2018
- The Expressive Power of Time Petri Nets B. Bérard F. Cassez S. Haddad D. Lime O. H. Roux Thu 24 May 2018
- Non-cooperative games John F. Nash Wed 23 May 2018
- Collapsible Pushdown Automata and Recursion Schemes Matthew Hague Andrzej S. Murawski C.-H. Luke Ong Olivier Serre Tue 22 May 2018
- The calculus of constructions Thierry Coquand Gérard Huet Tue 22 May 2018
- Incremental DFA Minimisation Marco Almeida Nelma Moreira Rogério Reis Sat 19 May 2018
- On separable non-cooperative zero-sum games L.M. Bergman I.N. Fokin Sat 19 May 2018
- Probability of a pure equilibrium point in n-person games Melvin Dresher Thu 17 May 2018
- The Probability of an Equilibrium Point A. J. Goldman M. Newman K. Goldberg Thu 17 May 2018
- Algorithms, Games, and the Internet Christos Papadimitriou Wed 16 May 2018
- Nash Equilibria via Polynomial Equations Richard J. Lipton Evangelos Markakis Wed 16 May 2018
- On von Neumann's minimax theorem. Hukukane Nikaidô Wed 16 May 2018
- A Simpler Proof of the Von Neumann Minimax Theorem Hichem Ben-El-Mechaiekh Robert W. Dimand Wed 16 May 2018
- Non-Cooperative Games John Nash Tue 15 May 2018
- The Complexity of Nash Equilibria in Multiplayer Zero-Sum Games and Coordination Games Yang Cai Tue 15 May 2018
- The Semantic Conception of Truth: and the Foundations of Semantics Alfred Tarski Tue 15 May 2018
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 13:36:26,
Build Time: N/A
