The following pages link to Free \(\mu\)-lattices (Q5960406):
Displaying 22 items.
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Ambiguous classes in \(\mu\)-calculi hierarchies (Q1770419) (← links)
- \(*\)-\(\mu\)-semirings and \(*\)-\(\lambda\)-semirings (Q2576887) (← links)
- Free lattices. II (Q2653391) (← links)
- From parity games to circular proofs (Q2842563) (← links)
- Induction, coinduction, and adjoints (Q2842818) (← links)
- Conway Games, Coalgebraically (Q2888495) (← links)
- Equivalences and congruences on infinite Conway games (Q2889179) (← links)
- Free and Finitely Presented Lattices (Q2974300) (← links)
- (Q3138863) (← links)
- Least and Greatest Fixpoints in Game Semantics (Q3617718) (← links)
- On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication (Q3644749) (← links)
- Free $\germ m$-products of lattices. II (Q3726176) (← links)
- (Q4396126) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- (Q4834373) (← links)
- (Q5094136) (← links)
- (Q5437880) (← links)
- Bouncing threads for circular and non-wellfounded proofs. Towards compositionality with circular proofs (Q6649500) (← links)
