TY - RPRT TI - An Application of Quantum Finite Automata to Interactive Proof Systems AU - Harumichi Nishimura AU - Tomoyuki Yamakami PY - 2004 DO - 10.1016/j.jcss.2008.12.001 UR - https://arxiv.org/abs/quant-ph/0410040 ID - quant-ph/0410040 ER -