亚当·科普洛夫斯基 TPA：自动证明终止。 （英语） Zbl 1151.68635号 Pfenning，Frank（编辑），术语重写和应用。第17届国际会议，RTA 2006，西雅图，华盛顿州，美国，2006年8月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-36834-2/pbk）。计算机科学课堂讲稿4098，257-266（2006）。 概要：TPA是一种以全自动方式证明术语重写系统（TRS）终止的工具。TPA的显著特点是支持相对终止和使用自然数语义标记技术。由于后者，TPA能够为所有其他工具都失败的一些困难TRS提供自动终止证明。关于整个系列，请参见[兹比尔1113.68009]. 引用于13文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 2012年第68季度 语法和重写系统 软件：TPA公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Koprowski}，莱克特。注释计算。科学。4098257--266（2006年；Zbl 1151.68635） 全文： 内政部 链接