10 citations · 20 across the 7 of their papers we have counts for
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2001
Two-way Quantum One-counter Automata
Tomohiro Yamasaki, Hirotada Kobayashi, Hiroshi Imai
After the first treatments of quantum finite state automata by Moore and Crutchfield and by Kondacs and Watrous, a number of papers study the power of quantum finite state automata…
cs.CC2001
Quantum Multi-Prover Interactive Proof Systems with Limited Prior Entanglement
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…