Conway Games, Coalgebraically (Q2888495): Difference between revisions

@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3944542
@@ Property / cites work: Q3944542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099541
@@ Property / cites work: Q4099541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3328538
@@ Property / cites work: Q3328538 / rank @@
+Normal rank
@@ Property / cites work @@
+When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Free \(\mu\)-lattices
@@ Property / cites work: Free \(\mu\)-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+<i>μ</i>-Bicomplete Categories and Parity Games
@@ Property / cites work: <i>μ</i>-Bicomplete Categories and Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs and composite games
@@ Property / cites work: Graphs and composite games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5761283
@@ Property / cites work: Q5761283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804886
@@ Property / cites work: Q4804886 / rank @@
+Normal rank