蒂罗尔(Tyrolean) swMATH ID: 7830 软件作者: Nao Hirokawa;阿尔特·米德尔多普 描述: Tyrolean Termination Tool 2(TTT2)是一种自动证明(和反驳)术语重写系统终止的工具。它是TTT的完全重新设计的继承者。当前(非)终止技术包括:近似依赖图、参数过滤、边界、依赖对方法、Knuth-Bendix顺序、字典路径顺序、循环检测、矩阵解释、多项式解释、预测标记、递归SCC、根标记、语义标记、,简单的投影和子形式标准、取消关联和可用规则。 主页: http://cl-informationk.uibk.ac.at/software/ttt2/ 相关软件: AProVE公司;多终端;哈斯克尔;CiME公司;火柴盒;莫德;超小卫星;CeTA公司;CoLoR公司;TPA公司;TPDB公司;伊莎贝尔/HOL;保险箱;OBJ3型;收入;名古屋终止工具;犯罪现场调查;z3型;OBJ咖啡馆;TPTP公司 引用于: 95文件 全部的 前5名78位作者引用 19 阿尔特·米德尔多普 14 雷内·蒂曼 13 萨尔瓦多卢卡斯 10 哈拉尔德·赞克 9 吉尔根·吉斯尔 8 彼得·施奈德·坎普 7 卡斯滕·福斯 7 乔治·莫瑟 7 克里斯蒂安·斯特纳格尔 7 汉斯·赞特马 6 斯蒂芬·福克 6 Nao Hirokawa 6 莎拉·温克勒 6 Akihisa山田 5 马丁·科尔普 4 劳尔·古铁雷斯 4 迪帕克·卡普尔 4 何塞·梅塞盖尔·瓜伊塔 4 西田,直木 三 高仁青藤 三 迈克尔·科迪什 三 何塞·伊波拉 三 辛西娅·科普 三 亚当·科普洛夫斯基 三 安德烈亚斯·施纳布尔 三 泽维尔·乌尔班 三 约翰内斯·沃尔德曼 2 阿勒科恩,比阿特丽兹 2 玛丽亚·保拉(Maria Paola Bonacina) 2 克里斯蒂娜·博拉莱拉斯 2 弗朗西斯科·杜兰 2 伯特伦·费尔根豪尔 2 栗原、Masahito 2 弗里德里希·纽罗特 2 分手,迈克尔 2 恩里克·罗德里格斯-卡博内尔 2 阿尔伯特·鲁比奥 2 佐藤、晴彦 2 托马斯·斯特纳格尔 2 斯威德斯基,斯蒂芬 2 德国维达尔 1 斯科特·亚伦森 1 艾丽卡·阿尔布拉汉姆 1 埃琳娜·安诺夫 1 马丁·阿文齐尼 1 米克尔波菲尔 1 阿黛尔·布胡拉 1 霍雷修·西尔斯泰 1 Courtieu,Pierre皮埃尔 1 约尔格恩德鲁利斯 1 朱利安·福雷斯特 1 阿尔芬斯·盖瑟 1 Heule,Marijn J.H。 1 迪特尔·霍夫鲍尔 1 佛罗伦萨·杰克马尔 1 肯塔罗州菊池 1 芭芭拉·科尔迪 1 亚历山大·克劳斯 1 基里恩·克莱默 1 Kusakari、Keiichirou 1 Lermusiaux,Pierre F.J。 1 克劳德·马奇 1 绍克·莫 1 皮埃尔·埃蒂安·莫罗 1 拉斐尔·纳瓦罗·马塞特 1 史蒂文·奥布阿 1 埃蒂安·佩耶特 1 马丁·普吕克 1 萨沙拉多米罗维奇 1 拉菲尔西珀,马蒂亚斯 1 大卫·萨贝尔 1 坂部俊彦 1 津巴萨坂田 1 帕特里克·施韦策 1 范·拉姆斯东克(Femke van Raamsdonk) 1 山田,Toshiyuki 1 埃姆雷·约尔库 1 张淑君 全部的 前5名13篇连载文章中引用 13 自动推理杂志 8 信息与计算 5 计算机科学中的逻辑方法 三 逻辑与计算杂志 2 程序设计中的逻辑和代数方法杂志 1 控制论学报 1 理论计算机科学 1 符号计算杂志 1 工程、通信和计算中的应用代数 1 数学与人工智能年鉴 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 应用逻辑杂志 在5个字段中引用 95 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 1 场论和多项式(12-XX) 1 结合环与代数(16-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文