自动写入 swMATH ID: 1282 软件作者: 艾琳·杜兰德 描述: Autowrite:检查术语重写系统属性的工具Huet和Lévy已经证明,对于一类正交项重写系统(TRS),每一个非正规形式的项都包含一个所需的redex(即,在每个正规化重写序列中收缩的redex),如果存在,则所需redex的重复收缩会导致正规形式。然而,需求通常是无法确定的。为了获得需求的可判定近似,Huet和Lévy引入了强序列TRS的子类,并证明了强序列性是正交TRS的一个可判定性质。 主页: http://dept-info.labri.u-bordeaux.fr/~idurand/autowrite/ 关键词: 语法和重写系统 相关软件: MONA公司;数据日志;Treewidthlib公司;CPLEX公司;麦克利姆;廷巴克 引用于: 8文件 标准条款 2出版物描述软件,包括2出版物以zbMATH为单位 年份 自动写入:术语重写系统和树自动机的工具。 Zbl 1272.68178号艾琳·杜兰德 2005 自动写入:检查术语重写系统属性的工具。 Zbl 1045.68579号艾琳·杜兰德 2002 全部的 前5名9位作者引用 5 艾琳·杜兰德。 4 布鲁诺·库塞尔 1 乔斯特·恩格尔弗里特 1 亚历山大·兰格 1 阿尔特·米德尔多普 1 莫里斯·尼瓦特 1 费利克斯·雷德尔 1 彼得·罗斯马尼思 1 索姆纳特·锡达尔 4篇连载文章中引用 1 信息与计算 1 应用逻辑杂志 1 数学百科全书及其应用 1 计算机科学评论 在3个字段中引用 8 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 2 组合数学(05-XX) 按年份列出的引文