TY  - RPRT
TI  - Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata
AU  - Shenggen Zheng
AU  - Daowen Qiu
AU  - Jozef Gruska
PY  - 2015
DO  - 10.1016/j.ic.2015.02.003
UR  - https://arxiv.org/abs/1304.3876
ID  - 1304.3876
ER  -