On Models of a Nondeterministic Computation (Q3392968): Difference between revisions

@@ Property / author @@
-Q327304
@@ Property / author: Q327304 / rank @@
-Normal rank
@@ Property / author @@
+Mikhail N. Vyalyi
@@ Property / author: Mikhail N. Vyalyi / 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.1007/978-3-642-03351-3_31
+Normal rank
@@ Property / OpenAlex ID @@
+W1709153679
@@ Property / OpenAlex ID: W1709153679 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability on quantum finite automata
@@ Property / cites work: Undecidability on quantum finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888749
@@ Property / cites work: Q4888749 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Walking Automata
@@ Property / cites work: Tree-Walking Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
+Normal rank
@@ Property / cites work @@
+A communication hierarchy of parallel computations
+Normal rank
@@ Property / cites work @@
+Finite model theory and its applications.
@@ Property / cites work: Finite model theory and its applications. / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating and empty alternating auxiliary stack automata.
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of synchronization in parallel computations
+Normal rank
@@ Property / cites work @@
+Characterizations of some tape and time complexity classes of Turing machines in terms of multihead and auxiliary stack automata
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+On Models of a Nondeterministic Computation
@@ Property / cites work: On Models of a Nondeterministic Computation / rank @@
+Normal rank