Infinite games specified by 2-tape automata (Q324245): Difference between revisions

@@ Property / cites work @@
+Q3086917
@@ Property / cites work: Q3086917 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of winning strategies
@@ Property / cites work: Complexity of winning strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449203
@@ Property / cites work: Q4449203 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic Ω-Computations and the Analytical Hierarchy
+Normal rank
@@ Property / cites work @@
+\(\omega\)-computations on Turing machines
@@ Property / cites work: \(\omega\)-computations on Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Borel ranks and Wadge degrees of context free $\omega$-languages
+Normal rank
@@ Property / cites work @@
+On the Accepting Power of 2-Tape Büchi Automata
@@ Property / cites work: On the Accepting Power of 2-Tape Büchi Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Wadge degrees of infinitary rational relations
@@ Property / cites work: Wadge degrees of infinitary rational relations / rank @@
+Normal rank
@@ Property / cites work @@
+Highly Undecidable Problems For Infinite Computations
+Normal rank
@@ Property / cites work @@
+The Complexity of Infinite Computations In Models of Set Theory
+Normal rank
@@ Property / cites work @@
+The Determinacy of Context-Free Games
@@ Property / cites work: The Determinacy of Context-Free Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817866
@@ Property / cites work: Q5817866 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic determinacy and 0<sup>#</sup>
@@ Property / cites work: Analytic determinacy and 0<sup>#</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Q3795669
@@ Property / cites work: Q3795669 / rank @@
+Normal rank
@@ Property / cites work @@
+Measurable cardinals and analytic games
@@ Property / cites work: Measurable cardinals and analytic games / rank @@
+Normal rank
@@ Property / cites work @@
+Q3037422
@@ Property / cites work: Q3037422 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games in the Cantor space and subsystems of second order arithmetic
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4700517
@@ Property / cites work: Q4700517 / rank @@
+Normal rank
@@ Property / cites work @@
+Wadge Degrees of<i>ω</i>-Languages of Deterministic Turing Machines
+Normal rank
@@ Property / cites work @@
+Wadge reducibility and infinite computations
@@ Property / cites work: Wadge reducibility and infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485444
@@ Property / cites work: Q4485444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342555
@@ Property / cites work: Q3342555 / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of strategies in infinite games
@@ Property / cites work: On the synthesis of strategies in infinite games / rank @@
+Normal rank
@@ Property / cites work @@
+Church’s Problem and a Tour through Automata Theory
+Normal rank
@@ Property / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank