Pages that link to "Item:Q2842563"
From MaRDI portal
The following pages link to From parity games to circular proofs (Q2842563):
Displaying 5 items.
- Comparing inductive and circular definitions: Parameters, complexity and games (Q817681) (← links)
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Parity Games and Propositional Proofs (Q2849902) (← links)
- (Q5094136) (← links)
- Parity Games and Propositional Proofs (Q5169973) (← links)