×

蒂罗尔(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 张淑君

按年份列出的引文