版次 swMATH ID: 28907 软件作者： 皮埃尔·莱斯坎 描述： REVE项重写系统生成器的计算机实验。描述了一个称为REVE的术语重写系统生成器。REVE从方程组构建合流且一致终止的项重写系统。特别强调终端证明的机械化。事实上，REVE是为数不多的可以被称为自动的此类系统之一，因为终止完全集成到算法中。REVE使用基于递归分解排序的增量终止方法，该方法从方程组的表示中逐步构建终止证明，并且几乎不需要用户对终止方法的了解。本文中的所有示例都取自抽象数据类型规范。 主页： https://dl.acm.org/citation.cfm？id=567078 相关软件： RRL公司；AProVE公司；蒂罗尔（Tyrolean）；落叶松；CiME公司；斯派克；Coq公司；NQTHM公司；莫德；多终端；Sb版本2；自动化；毫升；A3PAT飞机；ORME公司；CoLoR公司；加勒比；超小卫星；罗斯洛普；mkbTT公司 引用于： 87文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 通过多项式解释终止重写系统及其实现。 Zbl 0625.68036号阿勒姆·本·切里法；皮埃尔·莱斯坎 1987 全部的 前5名94位作者引用 9 皮埃尔·莱斯坎 7 纳胡姆德肖维茨 4 吉尔根·吉斯尔 4 赫莱内·基什内尔 4 萨尔瓦多卢卡斯 4 乌苏拉·马丁 4 巴利亚特·纳伦德兰 4 托比亚斯·尼普科 4 汉斯·赞特马 三 Jean-Pierre Jouannaud 三 迪帕克·卡普尔 三 克劳德·马奇 三 阿尔特·米德尔多普 三 阿尔伯特·鲁比奥 三 莎拉·温克勒 2 利奥·巴赫迈尔 2 阿勒姆·本·切里法 2 玛丽亚·费雷拉。 2 伊莎贝尔·格内迪格 2 查尔斯·霍特 2 圣埃芬·卡普兰 2 克洛德·基什内尔 2 扬·威廉·克鲁普 2 克莱门斯·劳特曼 2 罗伯特·纽文胡斯 2 米歇尔·鲁西诺维奇 2 彼得·施奈德·坎普 2 约阿希姆·斯坦巴赫 2 泽维尔·乌尔班 1 阿尔特·卡奇，哈桑 1 阿南塔拉曼，湿婆 1 艺术，托马斯 1 法国贝勒加德 1 本赛义德，希查姆 1 埃迪，贝弗斯 1 弗雷德里克·布兰基 1 亚历山大·博克迈尔 1 玛丽亚·保拉（Maria Paola Bonacina） 1 布赫伯格，布鲁诺 1 莱因哈德·邦根 1 迈克尔·科迪什 1 伊芙琳·孔特让 1 Jean-Luc，Deleage 1 凯瑟琳·德勒 1 丹尼斯·琼斯，埃丝特 1 迪克·杰里米 1 法兰克·德雷维斯 1 弗朗西斯科·杜兰 1 奥利维尔·菲索 1 卡斯滕·福斯 1 史蒂芬·加兰德。 1 郭丽叶 1 约翰·V·古塔格。 1 塞雷塞·哈丁 1 弗里茨·亨利恩 1 米基·赫尔曼 1 Nao Hirokawa 1 迪特尔·霍夫鲍尔 1 Jieh乡 1 保拉·因弗拉迪 1 约翰·卡尔姆斯 1 Krishnamoorthy，Mukkai S。 1 栗原、Masahito 1 阿兰·拉维尔 1 约翰·莱维 1 何塞·梅塞盖尔·瓜伊塔 1 大卫·穆瑟。 1 玛丽莎·纳瓦罗 1 莫妮卡·奈西 1 费尔南多·奥雷贾斯 1 分手，迈克尔 1 尼古拉斯·佩尔蒂埃 1 大卫·艾伦（David Alan），Plaisted 1 劳伦斯·普埃尔 1 罗摩克里希南一世。 1 Jean-Luc雷米 1 皮埃尔·雷蒂 1 乔斯琳·鲁耶 1 David E.Rydeheard。 1 佐藤、晴彦 1 伊丽莎白·A·斯科特。 1 邓肯·沙德 1 西瓦库马尔，G.D。 1 斯特拉图拉特，索林 1 斯威德斯基，斯蒂芬 1 雷内·蒂曼 1 Tomás、Ana Paula 1 迪维德·维尔 1 劳伦·维格纳龙 1 约翰内斯·沃尔德曼 1 乌韦·沃尔德曼 1 Akihisa山田 1 凯瑟琳·耶利克。 1 张汉涛 全部的 前5名16篇连载文章中引用 14 符号计算杂志 13 理论计算机科学 8 自动推理杂志 5 工程、通信和计算中的应用代数 4 计算的形式方面 三 信息学报 2 信息处理信件 1 人工智能 1 意大利信息研究所 1 计算机程序设计科学 1 信息与计算 1 国际计算机数学杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 函数编程杂志 1 RAIRO公司。理论信息学及其应用 1 逻辑程序设计理论与实践 全部的 前5名在7个字段中引用 86 计算机科学（68至XX） 26 数学逻辑和基础（03-XX） 6 一般代数系统（08-XX） 4 阶、格、有序代数结构（06-XX） 三 群论与推广（20-XX） 1 历史和传记（01-XX） 1 场论和多项式（12-XX） 按年份列出的引文