On QMA protocols with two short quantum proofs.

François Le Gall Shota Nakagawa Harumichi Nishimura

Published in: Quantum Inf. Comput. (2012)

Keyphrases

theorem proving
quantum inspired
quantum computation
theorem prover
communication protocols
database
neural network
data sets
information retrieval
metadata
web services
multi agent
decision procedures
natural deduction
formal proofs
equational theories