Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference23 articles.
1. Windable heads and recognizing NL with constant randomness;Gezer,2020
2. Interactive proof systems with polynomially bounded strategies;Condon;J. Comput. Syst. Sci.,1995
3. On the complexity of space bounded interactive proofs;Condon,1989
4. Finite state verifiers I: the power of interaction;Dwork;J. ACM,1992
5. An application of quantum finite automata to interactive proof systems;Nishimura;J. Comput. Syst. Sci.,2009
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献