An upper bound on the complexity of recognizable tree languages (Q5501862): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963989869
@@ Property / OpenAlex ID: W2963989869 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02840
@@ Property / arXiv ID: 1503.02840 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086917
@@ Property / cites work: Q3086917 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets
+Normal rank
@@ Property / cites work @@
+Parallel Machine Scheduling with Uncertain Communication Delays
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank
+Normal rank
@@ Property / cites work @@
+Deciding the Borel Complexity of Regular Tree Languages
+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 @@
+On Recognizable Tree Languages Beyond the Borel Hierarchy
+Normal rank
@@ Property / cites work @@
+Measure Properties of Game Tree Languages
@@ Property / cites work: Measure Properties of Game Tree Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3852172
@@ Property / cites work: Q3852172 / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematical Import of Zermelo's Well-Ordering Theorem
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+The Wadge Hierarchy of Deterministic Tree Languages
+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 @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+The Borel hierarchy is infinite in the class of regular sets of trees
+Normal rank
@@ Property / cites work @@
+Quasi-bounded trees and analytic inductions
@@ Property / cites work: Quasi-bounded trees and analytic inductions / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5501862