\(\omega\)-computations on Turing machines (Q1242685): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(78)90002-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1969470083
@@ Property / OpenAlex ID: W1969470083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5517677
@@ Property / cites work: Q5517677 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of automata on \(\omega\)-tapes: a simplified approach
+Normal rank
@@ Property / cites work @@
+Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages
+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 @@
+Q4079524
@@ Property / cites work: Q4079524 / 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 @@
+Q5592246
@@ Property / cites work: Q5592246 / 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 @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank