Equivalences and Congruences on Infinite Conway Games (Q2889179): Difference between revisions

@@ Property / OpenAlex ID @@
+W2170472627
@@ Property / OpenAlex ID: W2170472627 / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / 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 @@
+Conway games, algebraically and coalgebraically
@@ Property / cites work: Conway games, algebraically and coalgebraically / rank @@
+Normal rank
@@ Property / cites work @@
+Complementation of Coalgebra Automata
@@ Property / cites work: Complementation of Coalgebra Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+An Explicit Formula for the Free Exponential Modality of Linear Logic
+Normal rank
@@ Property / cites work @@
+Q2753694
@@ Property / cites work: Q2753694 / rank @@
+Normal rank
@@ Property / cites work @@
+Free \(\mu\)-lattices
@@ Property / cites work: Free \(\mu\)-lattices / 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
@@ Property / cites work @@
+Extensive games as process models
@@ Property / cites work: Extensive games as process models / rank @@
+Normal rank