Pages that link to "Item:Q716324"
From MaRDI portal
The following pages link to Mean-payoff games and propositional proofs (Q716324):
Displaying 6 items.
- Tropically convex constraint satisfaction (Q1635805) (← links)
- The canonical pairs of bounded depth Frege systems (Q2216035) (← links)
- Conceptual proofs of the Menger and Rothberger games (Q2295640) (← links)
- Exponential Lower Bounds for AC0-Frege Imply Superpolynomial Frege Lower Bounds (Q3012837) (← links)
- (Q4903797) (← links)
- Parity Games and Propositional Proofs (Q5169973) (← links)