Pages that link to "Item:Q5169973"
From MaRDI portal
The following pages link to Parity Games and Propositional Proofs (Q5169973):
Displaying 11 items.
- Mean-payoff games and propositional proofs (Q716324) (← links)
- The treewidth of proofs (Q2013559) (← links)
- The canonical pairs of bounded depth Frege systems (Q2216035) (← links)
- From parity games to circular proofs (Q2842563) (← links)
- Parity Games and Propositional Proofs (Q2849902) (← links)
- (Q3125031) (← links)
- INCOMPLETENESS IN THE FINITE DOMAIN (Q4640304) (← links)
- Short refutations for an equivalence‐chain principle for constant‐depth formulas (Q5109242) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)
- First-order reasoning and efficient semi-algebraic proofs (Q6614038) (← links)