Microsoft Research, Redmond, WA, USA;
机译:一种使用无割逻辑的有限准一致性模型证明可实现性和一致性定理的新技术
机译:适度偏差技术在RWRE上证明西奈定理的应用
机译:数据库中视图删除的定理证明技术
机译:一种双层技术,用于在懒洋洋地证明定理典范中支持量化器
机译:证明h-Cobordism定理的经典技术。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:一种双层技术,用于在懒洋洋地证明定理典范中支持量化器
机译:扩展Boyer-moore定理证明以支持一阶量化