火柴盒 swMATH ID: 10115 软件作者: J·沃尔德曼。 描述: Matchbox:用于匹配边界字符串重写的工具。程序Matchbox实现了对正则语言后代集和非终止字符串集的精确计算,这些都与(逆)匹配边界字符串重写系统有关。Matchbox可以搜索给定重写系统及其某些转换变体的匹配高度属性的布尔组合的证明或反证明。这以各种方式应用于搜索终止和非终止的证据。Matchbox是第一个为一些困难的字符串重写系统提供自动终止证明的程序。 主页: http://link.springer.com/chapter/10.1007/978-3-540-25979-4_6 源代码: https://github.com/jwaldmann/matchbox/ 相关软件: AProVE公司;蒂罗尔(Tyrolean);哈斯克尔;托尔帕;CiME公司;保险箱;超小卫星;糠;多终端;CeTA公司;伊莎贝尔/HOL;TPA公司;TPDB公司;莫德;OBJ3型;CoLoR公司;筑波;糖;钙DiCaL;术语重新编写 引用于: 24文件 全部的 前5名27位作者引用 7 约翰内斯·沃尔德曼 5 迪特尔·霍夫鲍尔 5 阿尔特·米德尔多普 5 汉斯·赞特马 4 阿尔芬斯·盖瑟 4 克里斯蒂安·斯特纳格尔 三 萨尔瓦多卢卡斯 三 雷内·蒂曼 2 吉尔根·吉斯尔 2 马丁·科尔普 2 哈拉尔德·赞克 1 斯科特·亚伦森 1 科尼利厄斯·阿斯切尔曼 1 约尔格恩德鲁利斯 1 弗洛里安·弗洛恩 1 劳尔·古铁雷斯 1 杰拉·亨塞尔 1 Heule,Marijn J.H。 1 Nao Hirokawa 1 乔纳森·霍格。 1 何塞·梅塞盖尔·瓜伊塔 1 埃蒂安·佩耶特 1 彼得·施奈德·坎普 1 Jennifer A.斯科特。 1 托马斯·斯特纳格尔 1 托马斯·斯特罗德 1 埃姆雷·约尔库 全部的 前5名6篇连载文章中引用 5 信息与计算 5 自动推理杂志 1 理论计算机科学 1 数值线性代数及其应用 1 数学与人工智能年鉴 1 自动机、语言和组合数学杂志 在4个字段中引用 23 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 数值分析(65-XX) 按年份列出的引文