Büchi context-free languages (Q627181): Difference between revisions

@@ Property / cites work @@
+Finite automata and ordinals
@@ Property / cites work: Finite automata and ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and Rational Languages of Words Indexed by Linear Orderings
+Normal rank
@@ Property / cites work @@
+Developments in Language Theory
@@ Property / cites work: Developments in Language Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Long words: The theory of concatenation and \(\omega\)-power
+Normal rank
@@ Property / cites work @@
+Q4454841
@@ Property / cites work: Q4454841 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing omega and omega-op powers of words
@@ Property / cites work: Axiomatizing omega and omega-op powers of words / rank @@
+Normal rank
@@ Property / cites work @@
+The equational theory of regular words
@@ Property / cites work: The equational theory of regular words / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187327
@@ Property / cites work: Q4187327 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata on linear orderings
@@ Property / cites work: Automata on linear orderings / 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 @@
+Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
+Normal rank
@@ Property / cites work @@
+Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages
+Normal rank
@@ Property / cites work @@
+Q4198080
@@ Property / cites work: Q4198080 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / rank @@
+Normal rank
@@ Property / cites work @@
+LINEAR LANGUAGES OF FINITE AND INFINITE WORDS
@@ Property / cites work: LINEAR LANGUAGES OF FINITE AND INFINITE WORDS / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Free Languages of Countable Words
@@ Property / cites work: Context-Free Languages of Countable Words / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3871942
@@ Property / cites work: Q3871942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168081
@@ Property / cites work: Q4168081 / 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 @@
+$ℵ_0$-categoricity of linear orderings
@@ Property / cites work: $ℵ_0$-categoricity of linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678435
@@ Property / cites work: Q5678435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+On frontiers of regular trees
@@ Property / cites work: On frontiers of regular trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216154
@@ Property / cites work: Q3216154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691083
@@ Property / cites work: Q3691083 / rank @@
+Normal rank