摘要：证明排序如何引发不同的饱和概念的探索。我们将完成、参数模拟、饱和、冗余消除和重写系统缩减与证明排序联系起来。
作者：Nachum Dershowitz
论文ID：cs/0304017
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中