The halting problem for linear Turing assemblers (Q1231906): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586365
@@ Property / cites work: Q5586365 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation by assembly
@@ Property / cites work: Computation by assembly / rank @@
+Normal rank
@@ Property / cites work @@
+One-tape, off-line Turing machine computations
@@ Property / cites work: One-tape, off-line Turing machine computations / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of context-free determinism
@@ Property / cites work: A generalization of context-free determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Real time computation
@@ Property / cites work: Real time computation / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded-crossing transducers
@@ Property / cites work: Bounded-crossing transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678435
@@ Property / cites work: Q5678435 / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on finite transducers
@@ Property / cites work: A remark on finite transducers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599173
@@ Property / cites work: Q5599173 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0022-0000(76)80023-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2070803433
@@ Property / OpenAlex ID: W2070803433 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1231906