...
机译:(Kleene + Action)(代数+格)的非充分证明理论
Kleene algebraproof theorysequent systemnon-wellfounded proofs;
机译:同态类型理论中的非优树
机译:BBI标记后继演算:证明理论和证明搜索
机译:中学教师对基本数论证明的认识:一般证明的情况
机译:无限词:无根据的证明理论的并行语法
机译:内涵类型理论中的可扩展证明工程。
机译:Actissist:理论驱动的精神病数字干预的概念验证试验
机译:同伦型理论中的非弱树
机译:机械化证明理论:资源意识逻辑和证明转换提取隐含信息