控制 swMATH ID: 13874 软件作者： 科普、辛西娅；直纪西田 描述： 受限术语重写工具。本文讨论了Ctrl，这是一种分析（自动和手动）带有逻辑约束的术语重写的工具。Ctrl可以与TRS一起用于任意底层逻辑，并自动分析各种属性，如终止性、合流性和准还原性。Ctrl还为使用归纳定理证明的等价性测试提供了手动和自动模式，为“手写”术语等价性证明提供了支持和验证。 主页： http://rd.springer.com/chapter/10.1007%2F978-3-662-48899-7_38 相关软件： KITTeL公司；z3（零3）；莫德；TcT公司；Yices公司；陆军装备司令部；TiML公司；罗斯洛普；StarExec公司；Jinja线程；AProVE公司；推断；维拉斯科；CiME公司；CoLoR公司；杀手；不明飞行物；有限责任公司；CPA检查器；CeTA公司 引用于： 7文件 标准条款 1出版物描述软件，包括1出版物在zbMATH中 年份 约束项重写tooL。 Zbl 1471.68110号辛西娅·科普；直纪西田 2015 全部的 前5名22位作者引用 2 马克·布罗克施米特 2 乔治·莫瑟 2 莎拉·温克勒 1 科尼利厄斯·阿舍曼 1 克里斯蒂娜·博拉莱拉斯 1 弗洛里安·弗洛恩 1 卡斯滕·福斯 1 吉尔根·吉斯尔 1 杰拉·亨塞尔 1 辛西娅·科普 1 丹尼尔·拉拉兹 1 何塞·梅塞盖尔·瓜伊塔 1 阿尔特·米德尔多普 1 塞萨尔·穆尼奥斯。 1 直纪西田 1 阿尔伯特·奥利弗拉斯 1 卡米洛，罗查 1 恩里克·罗德里格斯-卡博内尔 1 阿尔伯特·鲁比奥 1 迈克尔·沙珀 1 彼得·施奈德·坎普 1 托马斯·斯特罗德 2篇连载文章中引用 1 信息与计算 1 自动推理杂志 在2个字段中引用 7 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文