TPA公司 swMATH ID: 10114 软件作者: 亚当·科普洛夫斯基 描述: TPA:自动证明终止。TPA是一种以全自动方式证明术语重写系统(TRS)终止的工具。TPA的显著特点是支持相对终止和使用自然数语义标记技术。由于后者,TPA能够为所有其他工具都失败的一些困难TRS提供自动终止证明。 主页: http://link.springer.com/chapter/10.1007/11805618_19 相关软件: 蒂罗尔(Tyrolean);AProVE公司;哈斯克尔;火柴盒;保险箱;名古屋终止工具;多终端;CoLoR公司;Coq公司;CiME公司;TPDB公司;NaTT公司;OBJ咖啡馆;MTT法;莫德;OBJ3型;CASL公司;CeTA公司;伊莎贝尔/HOL;超小卫星 引用于: 13文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 TPA:自动证明终止。 兹比尔1151.68635亚当·科普洛夫斯基 2006 全部的 前5名18位作者引用 三 亚当·科普洛夫斯基 三 阿尔特·米德尔多普 三 西田,直木 三 雷内·蒂曼 三 德国维达尔 2 何塞·伊波拉 2 萨尔瓦多卢卡斯 2 何塞·梅塞盖尔·瓜伊塔 2 克里斯蒂安·斯特纳格尔 2 Akihisa山田 1 弗朗西斯科·杜兰 1 斯蒂芬·福克 1 吉尔根·吉斯尔 1 Nao Hirokawa 1 彼得·施奈德·坎普 1 约翰内斯·沃尔德曼 1 哈拉尔德·赞克 1 汉斯·赞特马 引用于4个系列 2 信息与计算 2 自动推理杂志 1 控制论学报 1 工程、通信和计算中的应用代数 在3个字段中引用 13 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 结合环与代数(16-XX) 按年份列出的引文