提洛尔

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)