赫茨 swMATH ID: 7017 软件作者: Mossakowski,T.、Maeder,C.、Lüttich,K。 描述: Hets-异构工具集。Hets是一种解析、静态分析和证明管理工具,它集成了各种证明程序和不同的规范语言,从而为异构规范提供了一种工具。逻辑翻译是一流的公民。 主页: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm 相关软件: 套管,套管;伊莎贝尔/HOL;伊莎贝尔;OBJ咖啡馆;莫德;Coq公司;TNT基地;米扎尔;CoCasl公司;TPTP公司;MMT公司;OMDoc公司;Twelf公司;SPASS公司;OBJ3型;哈斯克尔;Nuprl公司;PVS公司;HasCasl公司;霍尔 引用于: 65文件 全部的 前5名97位作者引用 21 蒂尔·莫萨科夫斯基 8 弗洛里安·拉贝 8 马库斯·罗根巴赫 7 米海·Codescu 7 迈克尔·科尔哈斯 6 卢茨·施罗德 5 亚历山大·纳普 4 富利亚·霍罗扎尔 4 亚历山大·马德拉 4 安德烈·塔莱基 三 巴博萨、路易斯·索亚雷斯 三 克里斯托夫·兰格 三 马丁斯(Manuel António Martins) 三 丹尼尔·拉吉 三 阿德里安·里斯科 2 Nazareno M.阿吉雷。 2 谢尔盖·奥特西尔 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 阿兰·邦迪 2 巴勃罗·卡斯特罗。 2 玛丽亚·维多利亚·森加勒 2 迪亚科内斯库,勒兹万 2 古德蒙德·格罗夫 2 丹尼尔·豪斯曼 2 马格尼·哈夫雷恩 2 罗尔夫·亨尼克 2 迪特尔·赫特 2 奥利弗·库茨 2 洛佩斯·庞博、卡洛斯·古斯塔沃 2 托马斯·斯蒂芬·爱德华·迈鲍姆 2 Kazuhiro绪方 2 利亚姆·奥莱利 2 艾莉森·皮斯 2 Enric广场 2 唐纳德·桑内拉。 2 马尔科·舍勒默 2 沃尔夫冈·温斯特伊格 1 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi) 1 休伯特·鲍迈斯特 1 萨德克·本萨勒姆 1 穆罕默德·贝塔兹 1 贝泽拉、乔纳斯·桑托斯 1 迪米特拉·布鲁 1 丹尼尔·卡莱加里 1 卡米纳蒂,马尔科·布莱特 1 Peter C.-H.Cheng。 1 克劳迪娅·埃琳娜·奇里 1 罗伯托·孔瓦洛尼埃里 1 安德烈·科斯塔 1 哈特穆特·埃里格 1 曼弗雷德·埃普 1 何塞·M·法里亚。 1 玛丽·法雷尔 1 JoséLuiz Fiadeiro 1 高基町五指 1 格雷西亚·加西亚 1 凯瑟琳·霍夫曼 1 吉野Isobe 1 菲利普·詹姆斯 1 马蒂亚·贾姆尼克 1 贾科·加尔维 1 泰姆斯根Kahsai 1 曼弗雷德·科伯 1 安德烈亚·科尔哈斯 1 Krieg-Brückner,伯尔尼 1 凯乌·库恩伯格 1 多米尼克·吕克 1 克劳斯·吕蒂奇 1 罗德里戈·马查多 1 埃文·麦克林 1 克里斯蒂安·梅德 1 亚历山大·马列茨基 1 穆拉德·毛奇 1 罗莎玛丽·莫纳汉 1 彼得·莫塞斯(Peter D.Mosses)。 1 穆罕默德·莫斯特加内米 1 劳伦斯·查尔斯·保尔森 1 Pawłowski、Wies \322»aw 1 詹姆斯·F·鲍尔(James F.Power)。 1 霍斯特·赖切尔 1 莱拉·里贝罗 1 罗德里格斯,莱昂纳多·马尔克斯 1 托拜厄斯·罗森伯格 1 科林·罗亚特 1 克劳迪奥·萨塞尔多蒂·科恩 1 亚斯敏·沙罗达 1 克里斯蒂娜·索贾科娃 1 亚伦·斯托克迪尔 1 谢尔盖·斯图普尼科夫。 1 尼克·苏尔塔纳 1 Holly E.A.萨瑟兰。 1 诺拉·萨兹 1 泰斯,弗兰克 1 Ţuţu,伊奥努 1 马卡里乌斯·温策尔 1 马丁·威尔辛 1 维亚切斯拉夫·兹霍卢德夫 全部的 前5名14篇连载文章中引用 5 理论计算机科学 4 计算的形式方面 三 逻辑与代数程序设计杂志 三 计算机科学中的逻辑方法 2 计算机科学中的数学 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 信息与计算 1 自动推理杂志 1 应用的分类结构 1 洛巴切夫斯基数学杂志 1 泛逻辑 1 语义网研究 1 理论计算机科学专著。EATCS系列 在4个字段中引用 65 计算机科学(68至XX) 17 数学逻辑和基础(03-XX) 2 范畴理论;同调代数(18-XX) 2 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文