School of Computing University of Kent Canterbury UK;
Department of Computer Science University College London London UK;
Approximation semantics; Cyclic proof; Entailment; Inductive predicates; Infinite descent; Realizability; Sequent calculus; Weighted automata;
机译:无限下降的方法和n = 3的费马最后定理的证明
机译:关于Smirnov单词的列入和循环
机译:不可实现性和最终叠层:密度猜想的证明
机译:循环证明的可实现性:提取无限下降的订购信息
机译:无限状态反应系统的可实现性检查和合成的正式技术
机译:无限扩展的克隆策略加上重复验证PCR可用于多个shRNA
机译:利用无限下降方法的证据教学研究