zbMATH参考文献(14篇文章引用)

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

  1. Alarcón,Beatriz;Gutiérrez,劳尔;Lucas,Salvador;Navarro Marset,Rafael:用\textscmu术语证明终止属性(2011)
  2. Endrullis,Jörg;Hendriks,Dimitri:Lazy productivity via termination(2011年)
  3. 斯特纳格尔,克里斯蒂安;蒂曼,雷内:广义和形式化的无龋齿(2011)
  4. Sternagel,Christian;Thiemann,René:模块化和认证语义标记和取消标记(2011)
  5. Alarcón,Beatriz;Gutiérrez,Raúl;Lucas,Salvador:上下文相关依赖对(2010)
  6. Gutiérrez,劳尔;Lucas,Salvador:在上下文相关依赖对框架中证明终止(2010)
  7. Adam Koprowski,Adam;Waldmann,Johannes:终止术语重写的Max/Plus树自动机(2009)
  8. Raffelsieper,Matthias;Zantema,Hans:自动证明最外层终止的转换方法(2009)
  9. 蒂曼,雷内;斯特纳格尔,克里斯蒂安:战略下的循环(2009)
  10. Zankl,Harald;Middeldorp,Aart:不断增加的解释(2009)
  11. Courtieu,Pierre;Forest,Julien;Urbain,Xavier:基于图而非图的终止准则的证明(2008)
  12. Fuhs,Carsten;Navarro Marset,Rafael;Otto,Carsten;Giesl,Jürgen;Lucas,Salvador;Schneider Kamp,Peter:有理多项式阶的搜索技术(2008)
  13. Lucas,萨尔瓦多;Meseguer,José:术语重写中公正/公平计算的终止(2008)
  14. Hoffauer,Dieter;Waldmann,Johannes:用矩阵解释终止字符串重写(2006)