Topological properties of omega context-free languages (Q5958141): Difference between revisions

@@ Property / cites work @@
+Q4874652
@@ Property / cites work: Q4874652 / 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 @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+The monadic second order theory of all countable ordinals
+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 @@
+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 @@
+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 @@
+A hierarchy of deterministic context-free \(\omega\)-languages.
+Normal rank
@@ Property / cites work @@
+Computer science and the fine structure of Borel sets
+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 @@
+Wadge hierarchy of omega context-free languages
@@ Property / cites work: Wadge hierarchy of omega context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Borel hierarchy and omega context free languages.
@@ Property / cites work: Borel hierarchy and omega context free languages. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817866
@@ Property / cites work: Q5817866 / 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 @@
+Q5541833
@@ Property / cites work: Q5541833 / 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 @@
+Fine hierarchy of regular \(\omega\)-languages
@@ Property / cites work: Fine hierarchy of regular \(\omega\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030812
@@ Property / cites work: Q3030812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707909
@@ Property / cites work: Q3707909 / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in Language Theory
@@ Property / cites work: Developments in Language Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055589
@@ Property / cites work: Q4055589 / rank @@
+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 / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the Wadge degree, the Lifschitz degree, and the Rabin index of a regular language of infinite words in polynomial time
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(00)00405-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2087879437
@@ Property / OpenAlex ID: W2087879437 / rank @@
+Normal rank