The following pages link to (Q4395610):
Displayed 9 items.
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- On an extension of the notion of Reedy category (Q658322) (← links)
- Parallel and serial hypercoherences (Q1583243) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← 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)
- On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication (Q3644749) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)