interactive proofs; multi prover; quantum;
机译:具有通信证明的QUANTUM MULTIPROVER交互式协议
机译:NEXP声音针对纠缠证明者的多证明人交互式证明
机译:多重证明的恒空间量子交互式证明
机译:Quantum多箴言互动证明与沟通普通
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:证明梅毒能够与健康人沟通的病例
机译:具有通信校准器的Quantum multi prover交互式校样*
机译:交互式编译器使用Hoare证明规则进行证明。