提洛尔人

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