<i>μ</i>-Bicomplete Categories and Parity Games (Q4787834): Difference between revisions

@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+A Coalgebraic View of Infinite Trees and Iteration
+Normal rank
@@ Property / cites work @@
+Least fixed point of a functor
@@ Property / cites work: Least fixed point of a functor / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration 2-theories
@@ Property / cites work: Iteration 2-theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137150
@@ Property / cites work: Q3137150 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong categorical datatypes II: A term logic for categorical programming
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Equational properties of iteration in algebraically complete categories
+Normal rank
@@ Property / cites work @@
+Q3978971
@@ Property / cites work: Q3978971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4876241
@@ Property / cites work: Q4876241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395610
@@ Property / cites work: Q4395610 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary observations on 2-categorical limits
@@ Property / cites work: Elementary observations on 2-categorical limits / 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 @@
+Algebraic specification of data types: A synthetic approach
+Normal rank
@@ Property / cites work @@
+Accessible Categories: The Foundations of Categorical Model Theory
+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 @@
+Q3753490
@@ Property / cites work: Q3753490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723706
@@ Property / cites work: Q4723706 / rank @@
+Normal rank
@@ Property / cites work @@
+Ensembles libres de chemins dans un graphe
@@ Property / cites work: Ensembles libres de chemins dans un graphe / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2770141
@@ Property / cites work: Q2770141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738237
@@ Property / cites work: Q4738237 / rank @@
+Normal rank
@@ Property / cites work @@
+Free \(\mu\)-lattices
@@ Property / cites work: Free \(\mu\)-lattices / rank @@
+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 @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank