阿尔特·米德尔多普 使用树自动机技术近似依赖关系图。 （英语） Zbl 0988.68162号 Goré，Rajeev（编辑）等人，《自动推理》。第一届国际联合会议，2001年6月18日至22日，意大利锡耶纳，IJCAR 2001。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2083, 593-610 (2001). 摘要：Arts和Giesl的依赖对方法是自动证明术语重写系统终止的最强大的技术。我们表明，可以通过使用树自动机技术来改进该方法，以获得更好的依赖关系图近似。该图确定了需要解决的排序约束，以结束终止。我们进一步表明，通过使用我们的近似，依赖对方法为右轮重写系统的终止提供了一个决策过程。关于整个系列，请参见[Zbl 0968.00052号]. 引用于1审查引用于18文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 2012年第68季度 语法和重写系统 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{A.Middeldorp}，莱克特。注释计算。科学。2083593-610（2001年；Zbl 0988.68162） 全文： 链接