从形式证明到数学证明：一种安全、增量的建立一阶决策过程的方式
摘要：构建商合一归纳构造演算的完整性证明
作者：Fr''ed''eric Blanqui (INRIA Lorraine - LORIA), Jean-Pierre Jouannaud (LIX, INRIA Saclay Ile de France), Pierre-Yves Strub (LIX, INRIA Saclay Ile de France)
论文ID：0804.3762
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-12-18