摘要：一个改进的计算路径排序方法用于自动终止证明高阶演算。
作者：Fr''ed''eric Blanqui (INRIA Lorraine - LORIA), Jean-Pierre Jouannaud (LIX, INRIA Saclay Ile de France), Albert Rubio
论文ID：0806.2517
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-12-18
PDF 下载： 英文版 中文版pdf翻译中