混合的 swMATH ID: 421 软件作者： 混合动力集团 描述： Hybrid：Isabelle和Coq中的高阶语法包。 主页： http://hybrid.di.unimi.it/ 相关软件： Twelf公司;流行标志;阿贝拉;Coq公司;名义伊莎贝尔;伊莎贝尔/霍尔;白鲸;镊子;伊莎贝尔;贝德维尔;奥特;洛利;Psi-calculi公司;德尔芬;大锤;区域设置;自动变电站;哈斯克尔;github;LNgen（液化天然气） 引用于： 22文件 更多出版物： http://hybrid.di.unimi.it/publications.html 全部的 前5名29位作者引用 7 阿尔贝托·莫米利亚诺 7 碧姬·品特卡 6 艾米·费尔蒂（Amy P.Felty）。 三 卡洛斯·奥拉特 三 布鲁诺·泽维尔 2 穆罕默德·尤斯里·马哈茂德 2 戴尔·艾伦·米勒 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 纪尧姆·阿拉伊斯 1 凯夫，安德鲁 1 罗伊·克罗。 1 弗朗西斯科·费雷拉。 1 艾米·福尼丝 1 安德鲁·加塞克 1 洛伦佐·盖里 1 Aliya Hameer 1 Jonas Pilgaard凯撒 1 马可·曼托瓦尼 1 戈帕兰·纳达图尔 1 Vivek Nigam先生 1 伊莱恩·皮门特尔 1 安德烈·波佩斯库 1 吉赛尔·赖斯 1 格里高·罗什乌 1 史蒂文·施费尔 1 格特·斯莫尔卡 1 凯瑟琳·斯塔克 1 大卫·希伯多 1 阿文·费南托（Alwen Fernanto Tiu） 5篇连载文章中引用 7 自动推理杂志 5 MSCS公司。计算机科学中的数学结构 1 理论计算机科学 1 函数编程杂志 1 应用逻辑杂志 在3个字段中引用 17 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 2 量子理论（81-XX） 按年份列出的引文