机译:基于自由定理证明高阶多态结石程序变换的正确性
Rutgers State Univ, Dept Comp Sci, Camden, NJ 08102 USA;
机译:证明基于递归的自动程序转换的正确性
机译:seq对基于自由定理的程序转换的影响
机译:正常条件逻辑的嵌套后续演算和定理证明:定理证明者NESCOND
机译:通过自由定理证明正确性
机译:自动证明程序分析和转换的正确性。
机译:体内转化的栖息地影响斜柏中自由基清除剂的水平:基于自由基清除剂的疫苗对吸虫的影响
机译:证明基于递归的自动程序转换的正确性