Metamathematics; Mathematical logic; Computer applications; Computer programming; Methodology; Computer program verification; Data bases; Transformations(Mathematics); Computer logic;
机译:DPLL程序的形式正确性证明
机译:关于交互式证明的证明有效的公共硬币模拟
机译:带有有效量子证明者的交互式证明,用于递归傅里叶采样
机译:证明正确无误:Haskell中的I / O证明和Clean
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:概念验证项目证明有效
机译:通过重用机器检查的正确性证明来证明信息流非干扰