二氧化碳 swMATH编号： 28113 软件作者： Nishida，N.、Kuroda，T.、Yanagisawa，M.、Gmeiner，K。 描述： CO3：用于证明条件TRS的C影响的C转换器。CO3是一种通过使用转换方法证明条件项重写系统（CTRS）合流的工具。该工具基于[GNG13iwc]和[NYG14iwc'中的结果：该工具首先通过使用同时展开[GNG13 iwc]或SR变换[Serbanuta&Rosu，RTA 2006]将给定的正常1-CTRS转换为无条件项重写系统（TRS），然后验证转换后的TRS的汇合。CO3仅使用语法分析：语法转换、检查属性的语法标准等，但用于检查关键对的可接合性的规范化除外。因此，CO3是非常有效的。为了使汇流检查更强大，我们应该实现更强大的方法来证明TRS的汇流，例如使用强大的终止证明方法的临界对定理。然而，该工具的重点是将CTRS转换为TRS，以帮助我们分析CTRS，因此，我们不会加强内部终止证明程序或任何汇流证明技术。我们希望将CO3与其他汇流证明器一起使用。 主页： https://www.trs.css.i.名古屋-uac.jp/co3/ 相关软件： 警察;CoCoWeb公司;MTT公司;莫德;OBJ3型;哈斯克尔;条件合流;塞加瓦;犯罪现场调查;StarExec公司;蒂罗尔（Tyrolean） 引用于： 2文件 3位作者引用 1 萨尔瓦多卢卡斯 1 尤亚·梅达 1 直纪西田 连载1篇 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文