Similar Items: Pebble Games and Algebraic Proof Systems
- A Resolution-Based Interactive Proof System for UNSAT
- AlgebraicAgents.jl: Hierarchical Composition of Multi-Formalism Dynamical Systems
- On $NP cap coNP$ proof complexity generators
- faer: A linear algebra library for the Rust programming language
- Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
- A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics