Free \(\mu\)-lattices (Q5960406): Difference between revisions

@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Q4490717
@@ Property / cites work: Q4490717 / rank @@
+Normal rank
@@ Property / cites work @@
+An initial semantics for the \(\mu\)-calculus on trees and Rabin's complementation lemma
+Normal rank
@@ Property / cites work @@
+A game semantics for linear logic
@@ Property / cites work: A game semantics for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix and matricial iteration theories. I
@@ Property / cites work: Matrix and matricial iteration theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003036
@@ Property / cites work: Q4003036 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal mu-calculus alternation hierarchy is strict
+Normal rank
@@ Property / cites work @@
+Q4099541
@@ Property / cites work: Q4099541 / rank @@
+Normal rank
@@ Property / cites work @@
+Loopy Games
@@ Property / cites work: Loopy Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342083
@@ Property / cites work: Q4342083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4834373
@@ Property / cites work: Q4834373 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the non-existence of free complete Boolean algebras
+Normal rank
@@ Property / cites work @@
+Coherence completions of categories
@@ Property / cites work: Coherence completions of categories / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4876241
@@ Property / cites work: Q4876241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4876240
@@ Property / cites work: Q4876240 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint theorem for complete categories
@@ Property / cites work: A fixpoint theorem for complete categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818826
@@ Property / cites work: Q4818826 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games played on finite graphs
@@ Property / cites work: Infinite games played on finite graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010366
@@ Property / cites work: Q4010366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723706
@@ Property / cites work: Q4723706 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point characterization of infinite behavior of finite-state systems
+Normal rank
@@ Property / cites work @@
+Games for the \(\mu\)-calculus
@@ Property / cites work: Games for the \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+On functors expressible in the polymorphic typed lambda calculus
+Normal rank
@@ Property / cites work @@
+Local model checking in the modal mu-calculus
@@ Property / cites work: Local model checking in the modal mu-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5844986
@@ Property / cites work: Q5844986 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
+Normal rank
@@ Property / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank
@@ Property / cites work @@
+Free lattices
@@ Property / cites work: Free lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Free lattices. II
@@ Property / cites work: Free lattices. II / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0022-4049(01)00098-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2026224392
@@ Property / OpenAlex ID: W2026224392 / rank @@
+Normal rank