MU-TERM公司

mu-term:一个证明上下文相关重写终止的工具。对重写的限制最终可以通过剪除每个术语发出的所有无限重写序列来实现终止。上下文相关重写(CSR)就是这种限制的一个例子。在CSR中,函数符号的某些参数的替换是永久禁止的。本文介绍了一种自动证明企业社会责任终止的工具mu-term。该工具通过有理数上的多项式解释实现了证明CSR终止的适当顺序的生成。事实上,mu项是第一个基于多项式解释生成项序的终止工具。这些顺序也可以用很多不同的方式来证明普通重写的终止。通过对trs的现有转换(没有任何替换限制),也可以证明CSR的终止,这些转换也是在mu术语中实现的。


zbMATH中的参考文献(参考文献34条,1标准件)

显示第1到第20个结果,共34个。
按年份排序(引用)
  1. 伯特伦·费勒;马丁·阿凡齐尼;Christian Sternagel:Haskell学期改写图书馆(2013)阿尔十四
  2. 波菲尔,米克尔;博拉雷拉斯,克里斯蒂娜;罗德里格斯·卡博内尔,恩里克;Rubio,Albert:一阶和高阶项的递归路径和多项式排序(2013)
  3. 温克勒,莎拉;佐藤,Haruhiko;米德尔多普,Aart;Kurihara,Masahito:使用终端工具进行多次完井(2013年)
  4. 博拉雷拉斯,克里斯蒂娜;卢卡斯,萨尔瓦多;奥利维拉斯,阿尔伯特;罗德里格斯·卡博内尔,恩里克;Rubio,Albert:用于求解多项式约束的SAT模线性算法(2012)
  5. 布豪拉,阿德尔;Jacquemard,Florent:conditional and constrained TRS的充分完备性验证(2012)
  6. JoséMeseguer:《重写逻辑的二十年》(2012)
  7. 阿拉克松,比阿特丽斯;古铁雷斯,劳尔;卢卡斯,萨尔瓦多;Navarro Marset,Rafael:用\textscmu术语证明终止属性(2011)
  8. 恩德鲁利斯,约格;亨德里克斯,迪米特里:《通过终止实现懒惰的生产力》(2011)
  9. 阿拉克松,比阿特丽斯;古铁雷斯,劳尔;卢卡斯,萨尔瓦多:上下文相关依赖对(2010)
  10. 古铁雷斯,劳尔;卢卡斯,萨尔瓦多:在上下文相关依赖对框架中证明终止(2010)
  11. 伊博拉,何塞;西田、直木;Vidal,Germanán:证明变窄终止的目标导向和相对依赖对(2010)
  12. 卢卡斯,萨尔瓦多:从对理性的矩阵解释到对自然的矩阵解释(2010)
  13. 中村正崎;绪方、和谷弘;Futatsugi,Kokichi:术语重写系统中操作符号的可还原性及其在行为规范中的应用(2010)
  14. 舍恩哈默,费利克斯;Gramlich,Bernhard:确定性条件项重写系统的操作终止性描述和证明(2010)
  15. 阿拉克松,比阿特丽斯;Lucas,Salvador:使用上下文敏感重写来证明重写的最深层终止(2009)
  16. 博拉雷拉斯,克里斯蒂娜;卢卡斯,萨尔瓦多;纳瓦罗·马塞特,拉斐尔;罗德里格斯·卡博内尔,恩里克;Rubio,Albert:用SAT模线性算法求解非线性多项式算法(2009)
  17. 杜兰,旧金山;卢卡斯,萨尔瓦多;Meseguer,José:通过转换证明基于重写的编程语言终止的方法(2009)
  18. 杜兰,旧金山;卢卡斯,萨尔瓦多;梅斯盖尔,何塞;Gutiérrez,Francisco:Maude终端工具的Web服务和互操作性(2009)ioport公司
  19. 卢卡斯,萨尔瓦多;Meseguer,José:成员资格平等计划的操作终止:排序方式(2009)
  20. 阿普特,玛里亚;圣地亚哥埃斯科巴;Iborra,José:使用依赖对终止收缩(2008)

更多出版物请访问:http://users.dsic.upv.es/~slucas/csr/termination/muterm/#参考文献