The complexity of debate checking (Q493647): Difference between revisions

@@ Property / cites work @@
+Two-way finite automata with quantum and classical states.
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Proof verification and the hardness of approximation problems
+Normal rank
@@ Property / cites work @@
+Non-deterministic exponential time has two-prover interactive protocols
+Normal rank
@@ Property / cites work @@
+Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes
+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 @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Space-bounded probabilistic game automata
@@ Property / cites work: Space-bounded probabilistic game automata / rank @@
+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 @@
+Probabilistically checkable debate systems and approximation algorithms for PSPACE-hard functions
+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 @@
+Zero-knowledge proofs of identity
@@ Property / cites work: Zero-knowledge proofs of identity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527018
@@ Property / cites work: Q4527018 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947125
@@ Property / cites work: Q3947125 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating multihead finite automata
@@ Property / cites work: Alternating multihead finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation in interaction
@@ Property / cites work: Alternation in interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3355236
@@ Property / cites work: Q3355236 / rank @@
+Normal rank
@@ Property / cites work @@
+Multihead two-way probabilistic finite automata
@@ Property / cites work: Multihead two-way probabilistic finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5414546
@@ Property / cites work: Q5414546 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of two-player games of incomplete information
+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 @@
+IP = PSPACE
@@ Property / cites work: IP = PSPACE / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392275
@@ Property / cites work: Q3392275 / rank @@
+Normal rank
@@ Property / cites work @@
+Unbounded-error quantum computation with small space bounds
+Normal rank
@@ Property / cites work @@
+Quantum Alternation
@@ Property / cites work: Quantum Alternation / rank @@
+Normal rank