Conway Games, Coalgebraically (Q2888495): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-03741-2_21
+Normal rank
@@ Property / OpenAlex ID @@
+W1595703684
@@ Property / OpenAlex ID: W1595703684 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2888495