TY  - RPRT
TI  - Interactive Proofs with Quantum Finite Automata
AU  - Harumichi Nishimura
AU  - Tomoyuki Yamakami
PY  - 2014
DO  - 10.1016/j.tcs.2014.11.030
UR  - https://arxiv.org/abs/1401.2929
ID  - 1401.2929
ER  -