赫茨 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 相关软件： CASL公司；伊莎贝尔/HOL；伊莎贝尔；OBJ咖啡馆；莫德；Coq公司；TNT基地；米扎尔；CoCasl公司；TPTP公司；MMT公司；OMDoc公司；Twelf公司；SPASS公司；OBJ3型；哈斯克尔；Nuprl公司；PVS公司；HasCasl公司；HOL公司 引用于： 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 Cheng，Peter C.-H。 1 克劳迪娅·埃琳娜·奇里 1 罗伯托·孔瓦洛尼埃里 1 安德烈·科斯塔 1 哈特穆特·埃里格 1 曼弗雷德·埃普 1 何塞·M·法里亚。 1 玛丽·法雷尔 1 JoséLuiz Fiadeiro 1 高基町五指 1 格雷西亚·加西亚 1 凯瑟琳·霍夫曼 1 吉野Isobe 1 菲利普·詹姆斯 1 马蒂亚·贾姆尼克 1 贾科·加尔维 1 Temesghen 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） 按年份列出的引文