Tsukuba Termination Tool

Tsukuba Termination Tool
复制标题

筑波端接工具

DOI：
10.1007/3-540-44881-0_22
复制
发表时间：
2003
期刊：
--
影响因子：
--
通讯作者：
A. Middeldorp
A. Middeldorp
中科院分区：
--
文献类型：
--
作者：
Nao Hirokawa;A. Middeldorp

文献摘要

被引文献

相似文献

我们提出了一个自动证明终止一阶重写系统的工具。该工具基于Arts和Giesl的依赖对方法。它包含了几个新的想法，使该方法更有效。该工具产生高质量的输出，并具有方便的Web界面。
We present a tool for automatically proving termination of first-order rewrite systems. The tool is based on the dependency pair method of Arts and Giesl. It incorporates several new ideas that make the method more efficient. The tool produces high-quality output and has a convenient web interface.