火柴盒

Matchbox:一个重写有界字符串的工具。程序Matchbox实现了正则语言的后代集和非终止字符串集的精确计算,这与(逆)匹配有界字符串重写系统有关。Matchbox可以搜索给定重写系统的匹配高度属性的布尔组合的证明或反证,以及它的一些转换变量。这是用各种方式来寻找终止和不终止的证据。Matchbox是第一个为一些困难的字符串重写系统提供自动终止证明的程序。


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

显示第1到第20个结果,共25个。
按年份排序(引用)
  1. Lucas,萨尔瓦多;Gutiérrez,Raúl:有序排序一阶理论逻辑模型的自动合成(2018)
  2. Frohn,Florian;Giesl,Jürgen;Hensel,Jera;Ascherman,Cornelius;Ströder,Thomas:术语重写的运行时复杂性下限(2017)
  3. Sternagel,Christian;Sternagel,Thomas:证明准递减强确定性条件项重写系统的合流(2017)
  4. Jonathan Hogg;Scott,Jennifer:关于使用次优匹配来缩放和排序稀疏对称矩阵。(2015年)
  5. Bertram Felgenhauer;Martin Avanzini;Christian Sternagel:Haskell术语重写库(2013)阿尔十四
  6. 科尔普,马丁;米德尔多普,Aart:重新审视比赛界限(2009)
  7. 蒂曼,雷内;斯特纳格尔,克里斯蒂安:使用CeTA的终止证明证明(2009年)
  8. 蒂曼,雷内;斯特纳格尔,克里斯蒂安:战略下的循环(2009)
  9. Zankl,Harald;Middeldorp,Aart:不断增加的解释(2009)
  10. Zankl,Harald;Sternagel,Christian;Middeldorp,Aart:将SAT转化为重写的终止(2009)
  11. Korp,Martin;Middeldorp,Aart:用依赖对匹配边界来证明重写系统的终止(2008)
  12. Lucas,萨尔瓦多;Meseguer,José:术语重写中公正/公平计算的终止(2008)
  13. Payet,Étienne:使用消除展开的术语重写中的循环检测(2008)
  14. Geser,Alfons;Hoffauer,Dieter;Waldmann,Johannes;Zantema,Hans:证明左线性项重写系统终止的树自动机(2007)
  15. Hirokawa,Nao;Middeldorp,Aart:Tyrolean终端工具:技术和特性(2007)
  16. Waldmann,Johannes:证明字符串重写终止的加权自动机(2007)
  17. Endrullis,Jörg;Waldmann,Johannes;Zantema,Hans:证明术语重写终止的矩阵解释(2006)
  18. Hoffauer,Dieter;Waldmann,Johannes:用矩阵解释终止字符串重写(2006)
  19. 《萨尔瓦多的敏感转变:重写的终结》(2006)
  20. Geser,Alfons;Hoffauer,Dieter;Waldmann,Johannes:字符串重写系统的逆匹配界终止证明(2005)