209 citations · 1.6k across the 96 of their papers we have counts for
1 paper · 1 filter
Hirotada Kobayashi, Keiji Matsumoto
This paper gives the first formal treatment of a quantum analogue of multi-prover interactive proof systems. It is proved that the class of languages having quantum multi-prover in…