条件合流 swMATH ID: 13315 软件作者： 托马斯·斯特纳格尔（Thomas Sternagel）；阿尔特·米德尔多普 描述： 条件汇流（系统描述）。本文描述了条件合流工具，一种用于一阶条件项重写系统的全自动合流检查器。该工具实现了文献中提出的各种汇流标准。提出了一种简单的技术来测试条件关键对的不可行性，这使得条件合流准则更加有用。给出了详细的实验数据。 主页： http://link.springer.com/chapter/10.1007%2F978-3-319-08918-8_31 关键词： 条件项重写;汇流;自动化 相关软件： 莫德;塞加瓦;犯罪现场调查;AProVE公司;OBJ咖啡馆;目标3;梅斯4;校准仪9;合同专用条款;二氧化碳;年龄;MTT公司;哈斯克尔;ELAN公司;VMTL公司;ConCon公司;TALP公司;伊莎贝尔;蒂罗尔（Tyrolean） 引用于： 9文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 条件汇流（系统描述）。 Zbl 1416.68181号托马斯·斯特纳格尔;阿尔特·米德尔多普 2014 全部的 前5名13位作者引用 三 劳尔·古铁雷斯 三 萨尔瓦多卢卡斯 三 何塞·梅塞盖尔·瓜伊塔 2 阿尔特·米德尔多普 2 托马斯·斯特纳格尔 1 高仁青藤 1 肯塔罗州菊池 1 Kop，辛西娅 1 尤亚·梅达 1 直纪西田 1 斯蒂芬·斯基里克 1 雷内·蒂曼 1 莎拉·温克勒 4篇连载文章中引用 1 信息处理信件 1 计算机与系统科学杂志 1 自动推理杂志 1 计算机科学中的逻辑方法 在1个字段中引用 9 计算机科学（68至XX） 按年份列出的引文