Similar Items: Pebble Games and Algebraic Proof Systems
- Pebble Games and Algebraic Proof Systems
- Pebble Games, Proof Complexity, and Time-Space Trade-offs
- Lower Bounds for Existential Pebble Games and k-Consistency Tests
- Best Agent Identification for General Game Playing
- A Standards-Simulation-Evaluation Framework (SSEF) for System-Level Modeling and Parameter Optimization of Hydraulic Tensioning Systems
- Conway games, algebraically and coalgebraically