Browsing Mathematics (Faculty of) by Subject "Quantum Prover-Verifier Interactions"
Now showing items 1-1 of 1
-
Quantum Turing Machines and Quantum Prover-Verifier Interactions
(University of Waterloo, 2020-07-31)We present results on quantum Turing machines and on prover-verifier interactions. In our work on quantum Turing machines, we continue the line of research opened by Yao (1993), who proved that quantum Turing machines ...