TPDB公司 swMATH ID: 10108 软件作者： http://termination-portal.org/wiki/Category:人物 描述： TPDB：终止问题数据库收集终止比赛中使用的终止问题。 主页： http://termination-portal.org/wiki/TPDB 相关软件： AProVE公司；蒂罗尔（Tyrolean）；z3（零3）；陆军部；CiME公司；火柴盒；StarExec公司；弗拉塔；PURRS公司；github；iRankFinder；多终端；CoLoR公司；停机坪；KoAT公司；保险箱；超小卫星；托尔帕；TPA公司；Eldarica公司 引用于： 20文件 全部的 前5名31位作者引用 5 吉尔根·吉斯尔 4 阿尔特·米德尔多普 三 约翰内斯·沃尔德曼 三 汉斯·赞特马 2 约尔格恩德鲁利斯 2 弗洛里安·弗洛恩 2 Nao Hirokawa 2 迪特尔·霍夫鲍尔 2 费比安·梅耶 2 彼得·施奈德·坎普 2 哈拉尔赞克尔 1 科迪什，迈克尔 1 丹尼·德·施雷耶 1 阿尔芬斯·盖瑟 1 马塞尔·哈克 1 迪米特里·亨德里克斯 1 克里斯蒂娜·科尔 1 亚当·科布罗斯基 1 芭芭拉·科尔迪 1 尼尔斯·洛曼 1 绍克·莫 1 弗里德里希·纽罗特 1 阮曼丹 1 埃蒂安·佩耶特 1 萨沙拉多米罗维奇 1 坂部俊彦 1 Masahiko酒井 1 帕特里克·施韦策 1 托马斯·斯特罗德 1 Keita内山 1 秋久山田 4篇连载文章中引用 三 自动推理杂志 2 信息与计算 1 理论计算机科学 1 逻辑与计算杂志 在4个字段中引用 20 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 信息和通信理论，电路（94-XX） 按年份列出的引文