筑波

筑波终端工具。我们提出了一个自动证明一阶重写系统终止的工具。该工具基于Arts和Giesl的依赖对方法。它包含了一些新的想法,使这种方法更有效。该工具可以产生高质量的输出,并且有一个方便的web界面。