机译:多重证明的恒空间量子交互式证明
Department of Information Science, University of Fukui, 3-9-1 Bunkyo, Fukui 910-8507, Japan;
Theory of computing; Formal language; Quantum interactive proof system; Nondeterministic exponential time; Recursively enumerable set;
机译:具有单向量子验证器的恒定空间零知识证明系统(初步报告)
机译:多项式时间量子证明的交互式证明,用于计算可解基团的阶数
机译:具有通信证明的QUANTUM MULTIPROVER交互式协议
机译:Quantum多箴言互动证明与沟通普通
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:概念验证项目证明有效
机译:针对多个校准器的恒定空间量子交互式证明*
机译:交互式编译器使用Hoare证明规则进行证明。