T Vidick,
J Watrous - Foundations and Trends® in Theoretical …, 2016 - nowpublishers.com
Quantum information and computation provide a fascinating twist on the notion of proofs in
computational complexity theory. For instance, one may consider a quantum computational …