摘要：使用加权类型图的技术对Bruggink等人的技术进行了改进，用于证明双推出图转换系统的终止性。我们增强了该方法在图形方面的能力，将该技术推广到其他类别，并允许在文献中出现的DPO的变体。
作者：J"org Endrullis, Roy Overbeek
论文ID：2307.07601
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-18
PDF 下载： 英文版 中文版pdf翻译中