MU-TERM公司

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


zbMATH中的参考文献(引用于,1标准件)

显示第1到第20个结果,共34个。
按年份排序(引用)
  1. Bertram Felgenhauer;Martin Avanzini;Christian Sternagel:Haskell术语重写库(2013)阿尔十四
  2. Bofill,Miquel;Borralleras,Cristina;Rodríguez Carbonell,Enric;Rubio,Albert:一阶和高阶项的递归路径和多项式排序(2013)
  3. Sarah Winkler;Sato,Haruhiko;Middeldorp,Aart;Kurihara,Masahito:使用端接工具进行多次完井(2013年)
  4. Borralleras,Cristina;Lucas,Salvador;Oliveras,Albert;Rodríguez Carbonell,Enric;Rubio,Albert:用于求解多项式约束的SAT模线性算法(2012)
  5. Bouhoula,Adel;Jacquemard,Florent:conditional and constrained TRS的充分完备性验证(2012)
  6. JoséMeseguer:《重写逻辑的二十年》(2012)
  7. Alarcón,Beatriz;Gutiérrez,劳尔;Lucas,Salvador;Navarro Marset,Rafael:用\textscmu术语证明终止属性(2011)
  8. Endrullis,Jörg;Hendriks,Dimitri:Lazy productivity via termination(2011年)
  9. Alarcón,Beatriz;Gutiérrez,Raúl;Lucas,Salvador:上下文相关依赖对(2010)
  10. Gutiérrez,劳尔;Lucas,Salvador:在上下文相关依赖对框架中证明终止(2010)
  11. Iborra,José;Nishida,Naoki;Vidal,Germanán:证明收缩终止的目标导向和相对依赖对(2010)
  12. 卢卡斯,萨尔瓦多:从对理性的矩阵解释到对自然的矩阵解释(2010)
  13. Nakamura,Masaki;Ogata,Kazuhiro;Futatsugi,Kokichi:术语重写系统中操作符号的可还原性及其在行为规范中的应用(2010)
  14. Schernhammer,Felix;Gramlich,Bernhard:描述和证明确定性条件项重写系统的操作终止(2010)
  15. Alarcón,Beatriz;Lucas,Salvador:使用上下文敏感重写来证明重写的最深层终止(2009)
  16. Borralleras,Cristina;Lucas,Salvador;Navarro Marset,Rafael;Rodríguez Carbonell,Enric;Rubio,Albert:通过SAT模线性算法求解非线性多项式算法(2009)
  17. 杜兰,弗朗西斯科;卢卡斯,萨尔瓦多;梅斯盖尔,何塞:通过转换证明基于重写的编程语言终止的方法(2009)
  18. 杜兰,弗朗西斯科;卢卡斯,萨尔瓦多;梅斯盖尔,何塞;古铁雷斯,弗朗西斯科:Maude终端工具的Web服务和互操作性(2009)ioport公司
  19. Lucas,Salvador;Meseguer,José:会员资格平等计划的操作终止:有序排序方式(2009)
  20. Alpuente,María;Escobar,圣地亚哥;Iborra,José:使用依赖对终止缩小(2008年)

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