Constant-space, constant-randomness verifiers with arbitrarily small error (Q2084769): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3037402156
@@ Property / OpenAlex ID: W3037402156 / rank @@
+Normal rank
@@ Property / cites work @@
+Windable heads and recognizing \textsf{NL} with constant randomness
+Normal rank
@@ Property / cites work @@
+Interactive proof systems with polynomially bounded strategies
+Normal rank
@@ Property / cites work @@
+Finite state verifiers I
@@ Property / cites work: Finite state verifiers I / rank @@
+Normal rank
@@ Property / cites work @@
+An application of quantum finite automata to interactive proof systems
+Normal rank
@@ Property / cites work @@
+Interactive proofs with quantum finite automata
@@ Property / cites work: Interactive proofs with quantum finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata
+Normal rank
@@ Property / cites work @@
+Multi-oracle interactive protocols with constant space verifiers
+Normal rank
@@ Property / cites work @@
+The complexity of debate checking
@@ Property / cites work: The complexity of debate checking / rank @@
+Normal rank
@@ Property / cites work @@
+Debates with Small Transparent Quantum Verifiers
@@ Property / cites work: Debates with Small Transparent Quantum Verifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state verifiers with constant randomness
@@ Property / cites work: Finite state verifiers with constant randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of multi-head finite automata: origins and directions
+Normal rank
@@ Property / cites work @@
+On non-determinacy in simple computing devices
@@ Property / cites work: On non-determinacy in simple computing devices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3885190
@@ Property / cites work: Q3885190 / rank @@
+Normal rank
@@ Property / cites work @@
+Transforming Two-Way Alternating Finite Automata to One-Way Nondeterministic Automata
+Normal rank
@@ Property / cites work @@
+Descriptional and computational complexity of finite automata -- a survey
+Normal rank
@@ Property / cites work @@
+The complexity of the max word problem and the power of one-way interactive proof systems
+Normal rank
@@ Property / cites work @@
+Q4668733
@@ Property / cites work: Q4668733 / rank @@
+Normal rank
@@ Property / cites work @@
+A time-space tradeoff for language recognition
@@ Property / cites work: A time-space tradeoff for language recognition / rank @@
+Normal rank