提洛尔人

TyroleanTerminationTool2(TTT2)是一个自动证明(和反驳)术语重写系统终止的工具。它是TTT完全重新设计的继承者。目前的(非)终止技术包括:近似依赖图、参数过滤、边界、依赖对方法、Knuth-Bendix阶、字典路径顺序、循环检测、矩阵解释、多项式解释、预测标记、递归SCC、根标记、语义标记,简单的投影和子项准则,无删减和可用的规则。


zbMATH参考文献(参考 89篇文章 参考)

显示第1到第20个结果,共89个。
按年份排序(引用)
  1. 卢卡斯,萨尔瓦多:使用有根据的关系证明运营终止(2020年)
  2. Hirokawa,Nao;Nagele,Julian;Middeldorp,Aart:Cops和CoCoWeb:infrastructure for confluence tools(2018年)
  3. Felgenhauer,Bertram;Thiemann,René:状态相容自动机的可达性、合流性和终止性分析(2017)
  4. Iborra,José;Nishida,Naoki;Vidal,Germanán;Yamada,Akihisa:通过依赖关系对的相对终止(2017)
  5. Lucas,Salvador;Meseguer,José:证明条件项重写系统终止性质的依赖对(2017)
  6. Moser,Georg:KBOs,序数,子递归层次结构和所有这些(2017)
  7. 《大卫矩阵的终结》(2017年《大卫矩阵的终结》和《大卫矩阵的改写》)
  8. Sternagel,Christian;Sternagel,Thomas:证明准递减强确定性条件项重写系统的合流(2017)
  9. Ábrahám,Erika;Kremer,Gereon:满意度检验:理论与应用(2016)
  10. Aoto,Takahito;Kikuchi,Kentaro:名义汇流工具(2016)
  11. Avanzini,Martin;Moser,Georg:《复杂性的组合框架》(2016)
  12. Yamada,Akihisa;Sternagel,Christian;Thiemann,René;Kusakari,Keiichirou:重新审视AC依赖关系对(2016年)
  13. Gutiérrez,劳尔;Lucas,Salvador:终止上下文相关重写时冻结位置的函数调用(2015)
  14. Iborra,José;Nishida,Naoki;Vidal,Germanán;Yamada,Akishisa:减少依赖对问题的相对终止(2015)
  15. Zankl,Harald;Winkler,Sarah;Middeldorp,Aart:超越多项式和皮亚诺算术——初等和序数解释的自动化(2015)
  16. Kordy,Barbara;Mauw,Sjouke;Radomirović,Saša;Schweitzer,Patrick:攻击防御树(2014)
  17. Neurater,Friedrich;Middeldorp,Aart:对自然数、有理数和实数的多项式解释(2014)
  18. Zankl,Harald;Korp,Martin:术语重写的模块复杂性分析(2014)
  19. Aoto,Takahito:通过解释和排序来反驳术语重写系统的融合(2013)
  20. Bofill,Miquel;Borralleras,Cristina;Rodríguez Carbonell,Enric;Rubio,Albert:一阶和高阶项的递归路径和多项式排序(2013)