Multiple equality sets and Post machines (Q1148696): Difference between revisions

@@ Property / author @@
-Franz-Josef Brandenburg
@@ Property / author: Franz-Josef Brandenburg / rank @@
-Normal rank
@@ Property / author @@
+Franz-Josef Brandenburg
@@ Property / author: Franz-Josef Brandenburg / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-0000(80)90026-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2037388662
@@ Property / OpenAlex ID: W2037388662 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-bounded multipushdown machines
@@ Property / cites work: Reversal-bounded multipushdown machines / rank @@
+Normal rank
@@ Property / cites work @@
+Equality Sets and Complexity Classes
@@ Property / cites work: Equality Sets and Complexity Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-realtime languages
@@ Property / cites work: Quasi-realtime languages / rank @@
+Normal rank
@@ Property / cites work @@
+Reset machines
@@ Property / cites work: Reset machines / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Languages and the Intersection Closures of Classes of Languages
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Acceptors and Intersections of Linear Languages
+Normal rank
@@ Property / cites work @@
+Three write heads are as good ask
@@ Property / cites work: Three write heads are as good ask / rank @@
+Normal rank
@@ Property / cites work @@
+A Purely Homomorphic Characterization of Recursively Enumerable Sets
+Normal rank
@@ Property / cites work @@
+Equality languages and fixed point languages
@@ Property / cites work: Equality languages and fixed point languages / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed Point Languages, Equality Languages, and Representation of Recursively Enumerable Languages
+Normal rank
@@ Property / cites work @@
+Q4089754
@@ Property / cites work: Q4089754 / rank @@
+Normal rank
@@ Property / cites work @@
+Multitape AFA
@@ Property / cites work: Multitape AFA / rank @@
+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 @@
+The equation \(a_ M=b^ Nc^ P\) in a free group
@@ Property / cites work: The equation \(a_ M=b^ Nc^ P\) in a free group / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194484
@@ Property / cites work: Q4194484 / rank @@
+Normal rank
@@ Property / cites work @@
+Über einen Automaten mit Pufferspeicherung
@@ Property / cites work: Über einen Automaten mit Pufferspeicherung / rank @@
+Normal rank
@@ Property / cites work @@
+Unary multiple equality sets: The languages of rational matrices
+Normal rank