Interactive proofs with quantum finite automata

Harumichi Nishimura, Tomoyuki Yamakami. Interactive proofs with quantum finite automata. Theoretical Computer Science, 568:1-18, 2015. [doi]

Abstract

Abstract is missing.