×

自动写入

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文件

按年份列出的引文