On Completeness and Soundness in Interactive Proof Systems.

作者: Oded Goldreich , Martin Fürer , Michael Sipser , Yishay Mansour , Stathis Zachos

DOI:

关键词:

摘要:

参考文章(0)