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
- The Pebble-Relation Comonad in Finite Model Theory
- Conway games, algebraically and coalgebraically
- Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)