Pages that link to "Item:Q4787834"
From MaRDI portal
The following pages link to <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834):
Displaying 8 items.
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← links)
- Ambiguous classes in \(\mu\)-calculi hierarchies (Q1770419) (← links)
- Sequential algorithms and strongly stable functions (Q2570134) (← links)
- From Parity Games to Circular Proofs (Q2842563) (← links)
- Conway Games, Coalgebraically (Q2888495) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
