AProVE公司 swMATH ID: 7831 软件作者: Jürgen Giesl、Peter Schneider-Kamp、RenéThiemann 描述: AProVE1.2:依赖对框架中的自动终止证明。AProVE 1.2是术语重写系统(TRS)自动终止证明最强大的系统之一。它是第一个自动化新依赖项对框架[8]的工具,因此允许不同终止证明技术的完全灵活组合。由于这个框架,AProVE 1.2也是第一个可以由用户完全配置的终端证明程序。 主页: http://aprove.informatik.rwth-aachen.de/ 相关软件: 蒂罗尔(Tyrolean);多终端;莫德;哈斯克尔;CiME公司;z3型;火柴盒;超小卫星;CeTA公司;伊莎贝尔/HOL;Yices公司;CoLoR公司;TPDB公司;保险箱;OBJ3型;Coq公司;MTT法;OBJ咖啡馆;收入;TPA公司 引用于: 171文件 更多出版物: http://aprove.informatik.rwth-aachen.de/index.asp?subform=references.html 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 使用自动分析程序终止和复杂性AProVE公司. Zbl 1409.68255号吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 2017 全部的 前5名202位作者引用 27 吉尔根·吉斯尔 22 萨尔瓦多卢卡斯 19 雷内·蒂曼 17 彼得·施奈德·坎普 15 卡斯滕·福斯 11 何塞·梅塞盖尔·瓜伊塔 11 阿尔特·米德尔多普 10 汉斯·赞特马 9 弗洛里安·弗洛恩 8 马克·布罗克施米特 7 西田,直木 7 托马斯·斯特罗德 6 斯蒂芬·福克 6 劳尔·古铁雷斯 6 杰拉·亨塞尔 6 克里斯蒂安·斯特纳格尔 5 阿勒科恩,比阿特丽兹 5 德国维达尔 5 约翰内斯·沃尔德曼 4 科尼利厄斯·阿舍曼 4 克里斯蒂娜·博拉莱拉斯 4 何塞·伊波拉 4 迪帕克·卡普尔 4 辛西娅·科普 4 卡斯滕·奥托 4 阿尔伯特·鲁比奥 4 Masahiko酒井 4 泽维尔·乌尔班 4 莎拉·温克勒 4 Akihisa山田 4 哈拉尔德·赞克 三 弗朗西斯科·杜兰 三 阿尔芬斯·盖瑟 三 伯恩哈德·格拉姆利希 三 迪特尔·霍夫鲍尔 三 马丁·科尔普 三 乔治·莫瑟 三 拉斐尔·纳瓦罗·马塞特 三 马丁·普吕克 三 恩里克·罗德里格斯-卡博内尔 三 阿伦·斯塔姆 三 斯威德斯基,斯蒂芬 2 安德烈亚斯·阿贝尔(Andreas M.Abel)。 2 艾丽卡·阿尔布拉汉姆 2 玛丽亚·阿尔普特 2 高仁青藤 2 阿米尔·本·阿姆拉姆。 2 米克尔波菲尔 2 亚历山德罗·西马蒂 2 迈克尔·科迪什 2 丹尼·德·施雷耶 2 费边·埃姆斯 2 约尔格恩德鲁利斯 2 圣地亚哥埃斯科瓦尔 2 萨米尔·根奈姆 2 阿尔贝托·格里乔 2 乔·亨德里克斯 2 Nao Hirokawa 2 弗拉基米尔·克莱巴诺夫 2 亚当·科普洛夫斯基 2 基里恩·克莱默 2 麦格纳戈,恩里科 2 Manolios,Panagiotis公司 2 克劳德·马奇 2 中村正树 2 分手,迈克尔 2 埃蒂安·佩耶特 2 安德烈亚斯·波德尔斯基 2 菲利普·吕默 2 坂部俊彦 2 费利克斯·舍恩哈默 2 托马斯·斯特纳格尔 2 斯蒂芬妮·斯威德斯基 2 马蒂亚斯·乌尔布里奇 2 山田,Toshiyuki 1 斯科特·亚伦森 1 艾尔维拉·阿尔伯特 1 马丁·阿文齐尼 1 Domagoj Babić 1 弗朗西斯科·巴维拉 1 德克·拜尔 1 玛丽亚·保拉(Maria Paola Bonacina) 1 爱德华多·博内利 1 阿黛尔·布胡拉 1 Tour男孩,蒂埃里 1 乔治亚娜·卡尔泰斯 1 亚瑟·查古埃罗 1 霍雷修·西尔斯泰 1 曼纽尔·克莱维尔 1 伊芙琳·孔特让 1 拜伦·库克 1 弗洛里安·科齐利厄斯 1 Courtieu,Pierre皮埃尔 1 邓玉欣 1 丹尼尔·迪特施 1 D’silva,维杰 1 艾琳·杜兰德。 1 加布里埃尔·埃布纳 1 穆纳乔·埃切宁 1 罗巴·埃尔哈吉·奥马尔 …还有102位作者 全部的 前5名22篇连载文章中引用 22 自动推理杂志 9 信息与计算 6 工程、通信和计算中的应用代数 4 程序设计中的逻辑和代数方法杂志 三 理论计算机科学 三 逻辑与代数程序设计杂志 三 计算机科学中的逻辑方法 2 信息处理信件 2 计算的形式方面 2 系统设计中的形式化方法 2 数学与人工智能年鉴 2 逻辑程序设计理论与实践 2 应用逻辑杂志 1 控制论学报 1 计算机程序设计科学 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 美国计算机学会期刊 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 ACM计算逻辑事务 1 《大学学报》。Informatica公司 全部的 前5名11个领域引用 171 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 有序,格,有序代数结构(06-XX) 1 数论(11-XX) 1 场论和多项式(12-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 结合环与代数(16-XX) 1 群论与推广(20-XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文