沙菲·戈德瓦瑟;Dan Gutfreund;亚历山大·希利;塔利·考夫曼;Guy N.罗斯布卢姆。 恒定深度的验证和解码。 （英语） Zbl 1232.68056号 STOC'07年。第39届ACM计算理论年度研讨会论文集，美国加利福尼亚州圣地亚哥，2007年6月11日至13日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-631-8）。440-449 (2007). 引用于2评论引用于7文件 MSC公司： 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 94B35码 解码 关键词：发送方-接收方设置;计算有界接收机;潜在恶意发件人;交互式证明系统;纠错码 PDF格式BibTeX公司 XML格式引用 \textit{S.Goldwasser}等人，摘自：2007年STOC第39届年度ACM计算理论研讨会论文集。2007年6月11日至13日，美国加利福尼亚州圣地亚哥。纽约州纽约市：计算机协会（ACM）。440-449（2007；Zbl 1232.68056）