ZBMaCT中的参考文献(14篇文章中引用)

显示结果1至14的14。
按年份排序(引文

  1. 阿尔卡恩,Beatriz;古蒂雷斯,拉尔;卢卡斯,萨尔瓦多;纳瓦罗马塞特,拉斐尔:用TexSCMU术语证明终止性质(2011)
  2. Endrullis,J.R.Rg;Hendriks,迪米特里:通过终止的懒惰生产力(2011)
  3. 斯泰纳格尔,克里斯蒂安;蒂曼,任埃德:广义和形式化的未处理(2011)
  4. TynAGEL,基督教;Teimman,ReEe:模块化和认证的语义标记和未标记(2011)
  5. 阿尔卡恩,Beatriz;古蒂雷斯,拉尔;卢卡斯,萨尔瓦多:语境敏感依赖对(2010)
  6. 卢卡斯,萨尔瓦多:在上下文敏感的依赖对框架中证明终止(2010)
  7. Koprowski,亚当;瓦尔德曼,Johannes:马克斯/优树自动机终止术语重写(2009)
  8. Raffelsieper,马蒂亚斯;赞塔玛,汉斯:一种自动证明最外层终止的转换方法(2009)
  9. 蒂曼、任、斯特纳格尔、克里斯蒂安:策略下的循环(2009)
  10. 赞卡尔,哈拉尔德;MIDDeldop,AART:增加解释(2009)
  11. Courtieu,彼埃尔;森林,朱利安;Urbain,沙维尔:证明基于图的终止准则,无图(2008)
  12. Fuhs,卡斯滕;Navarro Marset,拉斐尔;Otto,卡斯滕;吉塞尔,JürGee;卢卡斯,萨尔瓦多;Schneider Kamp,彼得:理性多项式阶的搜索技术(2008)
  13. 卢卡斯,萨尔瓦多;MeeGuer-Joe:术语重写中公正/公平计算的终止(2008)
  14. 霍夫鲍尔,Dieter;瓦尔德曼,约翰尼斯:用矩阵解释终止字符串重写(2006)