Halting space-bounded computations (Q1134515): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(80)90053-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1975698236
@@ Property / OpenAlex ID: W1975698236 / rank @@
+Normal rank
@@ Property / cites work @@
+On tape bounds for single letter alphabet language processing
+Normal rank
@@ Property / cites work @@
+Some Results on Tape-Bounded Turing Machines
@@ Property / cites work: Some Results on Tape-Bounded Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+On two-way multihead automata
@@ Property / cites work: On two-way multihead automata / rank @@
+Normal rank
@@ Property / cites work @@
+Transformational methods and their application to complexity problems
+Normal rank
@@ Property / cites work @@
+Transformational methods and their application to complexity problems. Corrigenda
+Normal rank
@@ Property / cites work @@
+Nondeterminism and the size of two way finite automata
+Normal rank
@@ Property / cites work @@
+Q5636862
@@ Property / cites work: Q5636862 / rank @@
+Normal rank