Index Problems for Game Automata (Q5278187): Difference between revisions

@@ Property / arXiv ID @@
+.02153
@@ Property / arXiv ID: 1506.02153 / rank @@
+Normal rank
@@ Property / cites work @@
+The<i>μ</i>-calculus alternation-depth hierarchy is strict on binary trees
+Normal rank
@@ Property / cites work @@
+Q5445157
@@ Property / cites work: Q5445157 / rank @@
+Normal rank
@@ Property / cites work @@
+Ambiguous classes in \(\mu\)-calculi hierarchies
@@ Property / cites work: Ambiguous classes in \(\mu\)-calculi hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets
+Normal rank
@@ Property / cites work @@
+Q4381381
@@ Property / cites work: Q4381381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958524
@@ Property / cites work: Q2958524 / rank @@
+Normal rank
@@ Property / cites work @@
+The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata
+Normal rank
@@ Property / cites work @@
+Definable Operations On Weakly Recognizable Sets of Trees
+Normal rank
@@ Property / cites work @@
+On the Topological Complexity of Weakly Recognizable Tree Languages
+Normal rank
@@ Property / cites work @@
+Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata
+Normal rank
@@ Property / cites work @@
+On the Weak Index Problem for Game Automata
@@ Property / cites work: On the Weak Index Problem for Game Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415259
@@ Property / cites work: Q4415259 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Hierarchies of weak automata and weak monadic formulas
+Normal rank
@@ Property / cites work @@
+Q4726235
@@ Property / cites work: Q4726235 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Wadge Hierarchy of Deterministic Tree Languages
+Normal rank
@@ Property / cites work @@
+Weak index versus Borel rank
@@ Property / cites work: Weak index versus Borel rank / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381391
@@ Property / cites work: Q4381391 / rank @@
+Normal rank
@@ Property / cites work @@
+A gap property of deterministic tree languages.
@@ Property / cites work: A gap property of deterministic tree languages. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251069
@@ Property / cites work: Q4251069 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+The Borel hierarchy is infinite in the class of regular sets of trees
+Normal rank
@@ Property / cites work @@
+Q2754186
@@ Property / cites work: Q2754186 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of Cost Logics over Infinite Words
+Normal rank
@@ Property / cites work @@
+Deciding low levels of tree-automata hierarchy
@@ Property / cites work: Deciding low levels of tree-automata hierarchy / rank @@
+Normal rank