筑波 swMATH ID: 10116 软件作者： Nao Hirokawa；阿尔特·米德尔多普 描述： 筑波终止工具。我们提出了一种自动证明一阶重写系统终止的工具。该工具基于Arts and Giesl的依赖项对方法。它包含了几个新的想法，使该方法更加有效。该工具可以产生高质量的输出，并具有方便的web界面。 主页： http://link.springer.com/chapter/10.1007/3-540-44881-0_22 相关软件： AProVE公司；CiME公司；加勒比；多终端；蒂罗尔（Tyrolean）；托尔帕；火柴盒；版次；OBJ咖啡馆；莫德；OBJ3型；哈斯克尔；CASL公司；RAPT公司；TPA公司；TPDB公司；米扎尔；InvX公司 引用于： 10文件 全部的 前5名18位作者引用 三 Nao Hirokawa 三 阿尔特·米德尔多普 三 泽维尔·乌尔班 2 克劳德·马奇 1 高仁青藤 1 千叶，Yuki 1 伊芙琳·孔特让 1 弗朗西斯科·杜兰 1 吉尔根·吉斯尔 1 萨尔瓦多卢卡斯 1 何塞·梅塞盖尔·瓜伊塔 1 直纪西田 1 坂部俊彦 1 Masahiko酒井 1 彼得·施奈德·坎普 1 雷内·蒂曼 1 Tomás、Ana Paula 1 汉斯·赞特马 3篇连载文章中引用 三 自动推理杂志 2 信息与计算 1 高阶和符号计算 在2个字段中引用 10 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 按年份列出的引文