Borel hierarchy and omega context free languages. (Q1401165): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The Hausdorff-Kuratowski hierarchy of \(\omega\)-regular languages and a hierarchy of Muller automata
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Adherences of languages
@@ Property / cites work: Adherences of languages / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second order theory of all countable ordinals
+Normal rank
@@ Property / cites work @@
+Chains and Superchains for ω-Rational Sets, Automata and Semigroups
+Normal rank
@@ Property / cites work @@
+THE WAGNER HIERARCHY
@@ Property / cites work: THE WAGNER HIERARCHY / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages
+Normal rank
@@ Property / cites work @@
+\(\omega\)-computations on deterministic pushdown machines
+Normal rank
@@ Property / cites work @@
+Q4856121
@@ Property / cites work: Q4856121 / rank @@
+Normal rank
@@ Property / cites work @@
+Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank
+Normal rank
@@ Property / cites work @@
+Computer science and the fine structure of Borel sets
+Normal rank
@@ Property / cites work @@
+A hierarchy of deterministic context-free \(\omega\)-languages.
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+\(X\)-automata on \(\omega\)-words
@@ Property / cites work: \(X\)-automata on \(\omega\)-words / rank @@
+Normal rank
@@ Property / cites work @@
+Topological properties of omega context-free languages
+Normal rank
@@ Property / cites work @@
+Wadge hierarchy of omega context-free languages
@@ Property / cites work: Wadge hierarchy of omega context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of \(\omega\)-regular languages
@@ Property / cites work: A classification of \(\omega\)-regular languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541832
@@ Property / cites work: Q5541832 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems forω-automata
@@ Property / cites work: Decision problems forω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+On ω-sets associated with context-free languages
@@ Property / cites work: On ω-sets associated with context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+A decidability result for deterministic \(\omega\)-context-free languages
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4147597
@@ Property / cites work: Q4147597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168081
@@ Property / cites work: Q4168081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3123633
@@ Property / cites work: Q3123633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+PUSHDOWN AUTOMATA ON INFINITE TREES AND NONDETERMINISTIC CONTEXT-FREE PROGRAMS
+Normal rank
@@ Property / cites work @@
+Fine hierarchy of regular \(\omega\)-languages
@@ Property / cites work: Fine hierarchy of regular \(\omega\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4695499
@@ Property / cites work: Q4695499 / rank @@
+Normal rank
@@ Property / cites work @@
+The Borel hierarchy is infinite in the class of regular sets of trees
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / 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 @@
+On ω-regular sets
@@ Property / cites work: On ω-regular sets / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(02)00042-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1621948069
@@ Property / OpenAlex ID: W1621948069 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1401165