Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages (Q1240574): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5618355
@@ Property / cites work: Q5618355 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision methods in the theory of ordinals
@@ Property / cites work: Decision methods in the theory of ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in the monadic second-order theory of                            successor
+Normal rank
@@ Property / cites work @@
+Theories of automata on \(\omega\)-tapes: a simplified approach
+Normal rank
@@ Property / cites work @@
+Theory of \(\omega\)-languages. II: A study of various models of \(\omega\)- type generation and recognition
+Normal rank
@@ Property / cites work @@
+\(\omega\)-computations on deterministic pushdown machines
+Normal rank
@@ Property / cites work @@
+\(\omega\)-computations on Turing machines
@@ Property / cites work: \(\omega\)-computations on Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Time-restricted sequence generation
@@ Property / cites work: Time-restricted sequence generation / 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 @@
+Sets of Numbers Defined by Finite Automata
@@ Property / cites work: Sets of Numbers Defined by Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Complexity of Algorithms
@@ Property / cites work: On the Computational Complexity of Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems forω-automata
@@ Property / cites work: Decision problems forω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Q3214824
@@ Property / cites work: Q3214824 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0022-0000(77)80004-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2022934640
@@ Property / OpenAlex ID: W2022934640 / rank @@
+Normal rank