Sb版本2 swMATH编号： 10104 软件作者： 描述： SbReve2：一个术语重写实验室，具有（AC）-永不停歇的完整性。 主页： http://link.springer.com/chapter/10.1007/3-540-51081-8_131 相关软件： RRL公司;版次;NQTHM公司;AURA公司;水獭;剧目;InvX公司;落叶松 引用于： 9文件 全部的 前5名10位作者引用 3 玛丽亚·保拉（Maria Paola Bonacina） 3 Jieh乡 2 阿南塔拉曼，湿婆 1 纳鸿·德肖维茨 1 迈克尔·赖 1 乌苏拉·马丁 1 威廉·麦库恩。 1 米歇尔·鲁西诺维奇 1 劳伦·维格纳龙 1 沃斯，拉里 全部的 前5名6篇连载文章中引用 1 理论计算机科学 1 符号计算杂志 1 自动推理杂志 1 工程、通信和计算中的应用代数 1 数学与人工智能年鉴 1 计算机科学课堂讲稿 在5个字段中引用 9 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 2 非结合环与代数（17-XX） 1 总体主题；集合（00-XX） 1 群论与推广（20-XX） 按年份列出的引文