ConCon公司 swMATH ID: 21589 软件作者： T.斯特纳格尔，C.斯特纳格尔 描述： 条件重写系统的可靠合流检查器。ConCon是面向一阶条件项重写系统（CTRS）的全自动合流检查器。它是用Scala编写的，在LGPL许可下可用。对于它的一些方法，ConCon向外部无条件汇流和终止检查器CSI和TTT2以及定理证明器Waldmeister发出调用。ConCon首先尝试简化规则并从输入系统中删除不可行的规则，然后使用以下三个汇合准则：（A）如果所有关键对都是可接合的，则拟递减强确定性3-CTRS是汇合的[ALS94]，（B）一个几乎正交的适当定向的右稳定3-CTRS是合流的[SMI95]，（C）一个确定的3-CTRS R是合流，如果它的展开U（R）是左线性和合流的（WT15]）。 主页： http://cl-informationk.uibk.ac.at/software/concon/ 相关软件： 伊莎贝尔/HOL；AProVE公司；年龄；校准仪9；梅斯4；名古屋终止工具；火柴盒；CoLoR公司；犯罪现场调查；StarExec公司；蒂罗尔（Tyrolean）；大锤；CeTA公司；哈斯克尔；条件合流；TALP公司；伊莎贝尔 引用于： 4文件 更多出版物： http://cl-informationk.uibk.ac.at/software/concon/references.php 全部的 前5名6位作者引用 2 克里斯蒂安·斯特纳格尔 2 托马斯·斯特纳格尔 1 劳尔·古铁雷斯 1 萨尔瓦多卢卡斯 1 雷内·蒂曼 1 莎拉·温克勒 0连载引用 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文