Efficient Interactive Proofs for Non-Deterministic Bounded Space
Efficient Interactive Proofs for Non-Deterministic Bounded Space
复制标题
非确定性有界空间的高效交互式证明
DOI：
10.4230/lipics.approx/random.2023.47
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Rothblum, Ron D.
中科院分区：
文献类型：
--
作者：
Cook, Joshua;Rothblum, Ron D.
登录
查看更多内容
DOI：
10.1145/3460120.3484767
发表时间：
2021-11
期刊：
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
影响因子：
--
作者：
Jiaheng Zhang;Weijie Wang;Yinuo Zhang;Yupeng Zhang
通讯作者：
Jiaheng Zhang;Weijie Wang;Yinuo Zhang;Yupeng Zhang
和检查协议的不合理权力
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
van der Ark;L. Andriès
通讯作者：
L. Andriès
IP = PSPACE 使用纠错码
DOI：
--
发表时间：
2013
期刊：
SIAM journal on computing (Print)
影响因子：
--
作者：
Or Meir
通讯作者：
Or Meir
布尔公式值问题在ALOGTIME中
DOI：
10.1145/28395.28409
发表时间：
1987
期刊：
Proceedings of the nineteenth annual ACM symposium on Theory of computing
影响因子：
--
作者：
S. Buss
通讯作者：
S. Buss
AC0[2] 和 NC1 的恒轮交互式证明系统
DOI：
--
发表时间：
2018
期刊：
Electron. Colloquium Comput. Complex.
影响因子：
--
作者：
Oded Goldreich;G. Rothblum
通讯作者：
G. Rothblum