An application of quantum finite automata to interactive proof systems

Harumichi Nishimura, Tomoyuki Yamakami. An application of quantum finite automata to interactive proof systems. J. Comput. Syst. Sci., 75(4):255-269, 2009. [doi]

Abstract

Abstract is missing.