机译:BBI标记后继演算:证明理论和证明搜索
Research School of Computer Science, The Australian National University, Canberra, ACT 2601, Australia;
Research School of Computer Science, The Australian National University, Canberra, ACT 2601, Australia;
School of Computer Engineering, Nanyang Technological University, Singapore 639798;
Labelled sequent calculus; automated reasoning; BBI; free variables; proof theory;
机译:用于自动证明搜索的新的后续演算
机译:用于纯类型系统中的证明搜索的聚焦顺序演算框架
机译:从逻辑流程图中读取组合证明和后续演算证明之间的新映射
机译:标记为BBI的后续演算:证明理论和证明搜索
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:广义哈密顿实数演算的新证明
机译:用于BBI的标记后续微积分:证明理论和证明搜索
机译:自动推理在证明翻译和寻找具有特定属性的证据中的应用:在多值句子演算中的案例研究。