TPA公司

此软件的关键字
zbMATH中的参考文献(参考
13篇文章, 1标准件 )
Iborra,José;Nishida,Naoki;Vidal,Germanán;Yamada,Akihisa:通过依赖关系对的相对终止(2017) Iborra,José;Nishida,Naoki;Vidal,Germanán;Yamada,Akishisa:减少依赖对问题的相对终止(2015) Sternagel,Christian;Thiemann,René:模块化和认证语义标记和取消标记(2011) Nishida,Naoki;Vidal,Germanán:通过终止重写终止缩小范围(2010) 杜兰,弗朗西斯科;卢卡斯,萨尔瓦多;梅斯盖尔,何塞:通过转换证明基于重写的编程语言终止的方法(2009) Adam Koprowski,Adam;Waldmann,Johannes:终止术语重写的Max/Plus树自动机(2009) Zankl,Harald;Sternagel,Christian;Middeldorp,Aart:将SAT转化为重写的终止(2009) Koprowski,Adam;Zantema,Hans:通过矩阵解释证明术语重写终止的证明(2008) Lucas,萨尔瓦多;Meseguer,José:术语重写中公正/公平计算的终止(2008) 蒂曼,勒内;米德尔多普,Aart:通过标签重写系统的最内层终止(2008) 《泰罗尔达和泰罗尔达技术》(2007年《泰罗尔达技术》和《泰罗尔达:终止技术》) Giesl,Jürgen;Thiemann,René;Schneider Kamp,Peter;Falke,Stephan:机械化和改进依赖对(2006) Koprowski,Adam:TPA:自动证明终止(2006年)