提洛尔

TyROLY终端工具2（TTT2）是一种工具，用于自动证明（和反驳）终止重写系统。它是TTT完全重新设计的接班人。当前（非）终止技术包括：近似依赖图、参数滤波、边界、依赖对方法、Knuth Bendix顺序、字典路径顺序、环路检测、矩阵解译、多项式解释、预测标记、递归SCC、根标记、语义标记；简单的投影和子项标准，不规则，可用的规则。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaCT中的参考文献（89篇文章中引用）

显示结果1至20的89。
按年份排序（引文）
  1. 卢卡斯，萨尔瓦多：使用完善的关系证明操作终止（2020）
  2. Hirokawa，Nao；纳赫勒，朱利安；MIDDeldop，AART: COPS和COCOWEB：汇合工具基础设施（2018）
  3. 费尔根豪尔，伯特伦；Teimman，ReNe:可达性，合流，状态相容自动机终止分析（2017）
  4. 伊沃拉，约书亚；西田，Naoki；维达尔，格尔曼；山田，阿希希亚：通过依赖对相对终止（2017）
  5. 卢卡斯，萨尔瓦多；MeeGuer-Joe:依赖条件对证明条件项重写系统的终止性质（2017）
  6. 莫泽，格奥尔：KBOS，序数，次递归层次结构和所有这些（2017）
  7. 萨贝尔，戴维；Zantema，汉斯：用变换和矩阵解释终止循环重写（2017）
  8. Stnngel.Chiston；Stnngel.，托马斯：证明拟降强确定条件项重写系统的合流（2017）
  9. Braaam，埃里卡；Kremer，Gereon：可满足性检验：理论与应用（2016）
  10. Aoto，Takahito；菊池，肯塔罗：名义合流工具（2016）
  11. Avanzini、马丁、莫泽、格奥尔：复杂性的组合框架（2016）
  12. 山田、阿基希亚、斯塔纳格尔、克里斯蒂安、蒂曼、仁塞、库萨卡里、基依里欧：AC依赖对（2016）
  13. 卢卡斯，萨尔瓦多：在上下文敏感重写终止时函数调用冻结位置（2015）
  14. 伊沃拉，约书亚；西田，Naoki；维达尔，格尔曼；山田，阿基希亚：减少相对终止对依赖对的问题（2015）
  15. 赞克尔，哈拉尔德；温克勒，莎拉；MIDDeldop，AART：超越多项式和Peao算法——基本和顺序解释的自动化（2015）
  16. Kordy，巴巴拉；莫卧，Sjouk；RADOMIROVI，SA A；SWEIZER，帕特里克：攻防树（2014）
  17. Neuldult，弗里德里希；MIDDeldop，AART：对自然、有理和实数的多项式解释（2014）
  18. Zangl，哈拉尔德；KORP，马丁：术语重写的模块化复杂性分析（2014）
  19. Aoto，Takahito：通过解释和排序反驳术语重写系统的融合（2013）
  20. 波菲尔，Miquel；Borralleras，克里斯蒂娜；罗德里格斯-卡内尔，恩里克；Rubio，艾伯特：一阶和高阶项的递归路径和多项式排序（2013）