Electronic colloquium on computational complexity

An Application of Quantum Finite Automata to Interactive Proof Systems

Tomoyuki Yamakami, Harumichi Nishimura

Published Jan 1, 2004• 1 citation

Related papers

An application of quantum finite automata to interactive proof systems

Harumichi Nishimura, Tomoyuki Yamakami

An Application of Quantum Finite Automata to Interactive Proof Systems (Extended Abstract)

Harumichi Nishimura, Tomoyuki Yamakami

Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata

Shenggen Zheng, Daowen Qiu, Jozef Gruska

Interactive proofs with quantum finite automata

Harumichi Nishimura, Tomoyuki Yamakami

Non-Interactive Proof Verification Procedures of Reversible and Quantum Finite Automata

Marcos Villagra, Tomoyuki Yamakami

Introduction to Quantum Interactive Proof Systems

shahab razavi