zbMATH中的参考文献(参考文献14条)

显示第1至14个结果,共14个。
按年份排序(引用)

  1. 阿拉克ón、 比阿特丽丝;古蒂é瑞兹,罗来纳州úl;卢卡斯,萨尔瓦多;Navarro Marset,Rafael:用\textscmu术语证明终止属性(2011)
  2. 恩德鲁利斯,Jörg公司;亨德里克斯,迪米特里:《通过终止实现懒惰的生产力》(2011)
  3. 胸骨,基督教;蒂曼,伦é: 广义的和形式化的未切割(2011)
  4. 胸骨,基督教;蒂曼,伦é: 模块化和认证的语义标记和取消标记(2011)
  5. 阿拉克ón、 比阿特丽丝;古蒂é瑞兹,罗来纳州úl;卢卡斯,萨尔瓦多:上下文相关依赖对(2010)
  6. 古蒂é瑞兹,罗来纳州úl;卢卡斯,萨尔瓦多:在上下文相关依赖对框架中证明终止(2010)
  7. 科普罗夫斯基,亚当;Johannes,Waldmann:终止术语重写的Max/Plus树自动机(2009)
  8. Raffelsieper,马提亚斯;Zantema,Hans:自动证明最外层终止的转换方法(2009)
  9. 蒂曼,伦é; Sternagel,Christian:策略下的循环(2009)
  10. 扎克尔,哈拉尔德;米德尔多普,Aart:越来越多的解释(2009年)
  11. 考蒂厄,皮埃尔;森林,朱利安;Urbain,Xavier:基于图而非图的终止准则的证明(2008)
  12. 福斯,卡斯滕;纳瓦罗·马塞特,拉斐尔;奥托,卡斯滕;吉尔斯,Jü尔根;卢卡斯,萨尔瓦多;Schneider Kamp,Peter:有理多项式阶的搜索技术(2008)
  13. 卢卡斯,萨尔瓦多;梅斯盖尔,乔斯é: 学期重写中公正/公平计算的终止(2008)
  14. 霍夫鲍尔,迪特;Waldmann,Johannes:用矩阵解释终止字符串重写(2006)