编辑配置文件(在新选项卡中打开) 弗洛里安·拉贝 合著者距离 作者ID: 罗贝·弗洛里安 发布日期: 弗洛里安·拉贝 主页: https://kwarc.info/people/frabe/ 外部链接: MGP公司·ORCID公司·数据库许可证 已编制索引的文档: 68出版物自2006年以来,包括1个附加arXiv预打印 4作为编辑的贡献 合著者: 55位合著者具有59联合出版物 1022合著作者 全部的 前5名合著者 12 单作者的 31 迈克尔·科尔哈斯 10 霍罗扎尔,富尔亚 10 穆勒,丹尼斯 5 米哈伊·科德斯库 5 蒂尔·莫萨科夫斯基 4 米尼亚·伊恩库 4 塞萨里·卡利西克 4 克劳迪奥·萨塞尔多蒂·科恩 4 汤姆·威辛 三 Farmer,William M。 三 科林·罗斯冈 三 克里斯蒂娜·索贾科娃 2 噢,史蒂夫 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 卡加·贝尔奇奇 2 雅克·卡雷特 2 马库斯·普菲弗 2 杰夫·萨特克利夫 2 尼古拉斯·马克·蒂埃里 2 约瑟夫·乌尔班 2 马卡里乌斯·温泽尔 1 阿曼,凯 1 安德烈亚·康多卢奇 1 詹姆斯·哈罗德·达文波特 1 卢卡·德·费奥 1 保罗·奥利维尔·德哈伊 1 英格兰,马修 1 Thibault Gauthier 1 简·赫尔曼·杰弗斯 1 贾纳·吉塞瓦 1 阿林·艾科布 1 Jakubauskas,艾瓦拉 1 君士坦丁·朱科维奇 1 曼弗雷德·科伯 1 Olexandr科诺瓦洛夫 1 阿图尔·科尔尼·奥维茨 1 克里斯托夫·兰格 1 塞缪尔·莱利耶夫尔 1 费利克斯·曼斯 1 理查德·马库斯 1 克里斯汀·米勒 1 萨姆·奥雷 1 帕斯莫尔,格兰特·奥尼 1 帕维尔·普德拉克 1 柔量、Navid 1 简·弗雷德里克·谢弗 1 亚斯敏·沙罗达 1 沈维娜 1 沃尔克·索尔格 1 奥拉夫·特施克 1 维克多·瓦西尔耶夫。 1 斯蒂芬·迈克尔·瓦特 1 弗兰齐斯卡·韦伯 1 阿卜杜·尤塞夫。 1 维亚切斯拉夫·兹霍卢德夫 全部的 前5名系列 4 计算机科学课堂讲稿 三 ACM计算逻辑事务 2 理论计算机科学 2 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 1 数学信使 1 信息与计算 1 逻辑与计算杂志 1 应用逻辑杂志 1 计算机科学中的数学 1 泛逻辑 1 计算机科学中的逻辑方法 1 形式化推理杂志 字段 65 计算机科学(68-XX) 19 数学逻辑和基础(03-XX) 6 总体主题;集合(00-XX) 2 范畴理论;同调代数(18-XX) 1 历史和传记(01-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 58出版物有被引用284中的次117文件 引用人▼ 年份▼ 可扩展模块系统。 Zbl 1358.68283号 弗洛里安·拉贝;迈克尔·科尔哈斯 39 2013 OMDoc中的Mizar数学库:翻译和应用。 Zbl 1260.68375号 米尼亚·伊恩库;迈克尔·科尔哈斯;弗洛里安·拉贝;约瑟夫·乌尔班 19 2013 MMT API:一个通用的MKM系统。 Zbl 1390.68626号 弗洛里安·拉贝 18 2013 项目摘要:逻辑地图集和集成器(LATIN)。 Zbl 1278.68285号 米哈伊·科德斯库;霍罗扎尔,富尔亚;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝 18 2011 数学基础形式化。 Zbl 1242.03031号 米尼亚·伊恩库;弗洛里安·拉贝 12 2011 如何识别、翻译和组合逻辑? Zbl 1444.03121号 弗洛里安·拉贝 12 2017 在类型理论逻辑框架中表示模型理论。 Zbl 1236.03027号 霍罗扎尔,富尔亚;弗洛里安·拉贝 9 2011 面向异构工具集Hets中的逻辑框架。 Zbl 1278.68286号 米哈伊·科德斯库;霍罗扎尔,富尔亚;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝;克里斯蒂娜·索贾科娃 8 2012 THF0–用于高阶逻辑的TPTP语言的核心。 Zbl 1165.68447号 克里斯托夫·本兹穆勒;弗洛里安·拉贝;杰夫·萨特克利夫 8 2008 模型和证明理论相结合的逻辑框架。 Zbl 1326.03082号 弗洛里安·拉贝 8 2013 动态数学文档的符号。 Zbl 1166.00304号 迈克尔·科尔哈斯;克里斯汀·米勒;弗洛里安·拉贝 7 2008 在语句级别扩展MKM格式。 Zbl 1278.68293号 霍罗扎尔,富尔亚;迈克尔·科尔哈斯;弗洛里安·拉贝 7 2012 走向大规模的MKM:模块化表示和可扩展的软件架构。 兹比尔1278.68297 迈克尔·科尔哈斯;弗洛里安·拉贝;维亚切斯拉夫·兹霍卢德夫 7 2010 形式化数学的柔性算子。 Zbl 1304.68171号 霍罗扎尔,富尔亚;弗洛里安·拉贝;迈克尔·科尔哈斯 7 2014 数学形式化语言调查。 Zbl 1455.68257号 塞萨里·卡利西克;弗洛里安·拉贝 6 2020 关于集成问题的基本观点。 Zbl 1278.68289号 弗洛里安·拉贝;迈克尔·科尔哈斯;克劳迪奥·萨塞尔多蒂·科恩 6 2011 面向HOL Light的知识管理。 Zbl 1304.68158号 塞萨里·卡利西克;弗洛里安·拉贝 6 2014 将web服务集成到活动数学文档中。 Zbl 1247.68314号 贾纳·吉塞瓦;克里斯托夫·兰格;弗洛里安·拉贝 5 2009 形式数学系统概念之间的对齐分类。 Zbl 1367.68309号 穆勒,丹尼斯;Thibault Gauthier;塞萨里·卡利西克;迈克尔·科尔哈斯;弗洛里安·拉贝 5 2017 表示形式元语言中的结构语言特征。 Zbl 1455.68268号 穆勒,丹尼斯;弗洛里安·拉贝;科林·罗斯冈;迈克尔·科尔哈斯 4 2020 理论作为类型。 Zbl 1511.68340号 穆勒,丹尼斯;弗洛里安·拉贝;迈克尔·科尔哈斯 4 2018 一种模块化重建算法。 Zbl 1407.68440号 弗洛里安·拉贝 4 2018 通用文字。 Zbl 1417.68216号 弗洛里安·拉贝 4 2015 用于正式数学库的查询语言。 Zbl 1359.68272号 弗洛里安·拉贝 4 2012 QED重新加载:朝向一个多元的正式数学知识库。 Zbl 1451.68343号 迈克尔·科尔哈斯;弗洛里安·拉贝 4 2016 具有依赖类型的一阶逻辑。 Zbl 1222.03016号 弗洛里安·拉贝 三 2006 跨数学库的关系数据。 Zbl 1428.68352号 安德里亚·康多鲁西;迈克尔·科尔哈斯;穆勒,丹尼斯;弗洛里安·拉贝;克劳迪奥·萨塞尔多蒂·科恩;马卡里乌斯·温泽尔 三 2019 Coq库作为理论图。 Zbl 1428.68344号 穆勒,丹尼斯;弗洛里安·拉贝;克劳迪奥·萨塞尔多蒂·科恩 三 2019 OpenDreamKit项目中的互操作性:中间的方法。 Zbl 1344.68268号 保罗·奥利维尔·德哈伊;米尼亚·伊恩库;迈克尔·科尔哈斯;亚历山大·科诺瓦洛夫;塞缪尔·莱利埃夫尔;穆勒,丹尼斯;马库斯·普菲弗;弗洛里安·拉贝;尼古拉斯·M·蒂埃里。;汤姆·威辛 三 2016 逻辑框架的逻辑关系。 Zbl 1353.68252号 弗洛里安·拉贝;克里斯蒂娜·索贾科娃 三 2013 虚拟理论–数学知识库的统一接口。 Zbl 1497.68550号 汤姆·威辛;迈克尔·科尔哈斯;弗洛里安·拉贝 2 2017 Martin-Löf的扩展类型理论的Kripke语义。 Zbl 1246.03022号 噢,史蒂夫;弗洛里安·拉贝 2 2009 出口主要校样助理库的经验。 Zbl 07461271号 迈克尔·科尔哈斯;弗洛里安·拉贝 2 2021 通过通用格式的解释使PVS可用于通用服务。 Zbl 1484.68311号 迈克尔·科尔哈斯;穆勒,丹尼斯;萨姆·奥雷;弗洛里安·拉贝 2 2017 如何使用非确定性函数进行计算。 Zbl 1434.68078号 理查德·伯德;弗洛里安·拉贝 2 2019 马丁洛夫外延类型理论的克里普克语义。 Zbl 1237.03007号 噢,史蒂夫;弗洛里安·拉贝 2 2011 逻辑的未来:基础依赖。 Zbl 1436.03179号 弗洛里安·拉贝 2 2016 智能计算机数学。国际会议,CICM 2015,华盛顿特区,美国,2015年7月13日至17日,会议记录。 Zbl 1316.68015号 2 2015 双形理论图的通用机器。 Zbl 1278.68267号 迈克尔·科尔哈斯;费利克斯·曼斯;弗洛里安·拉贝 2 2013 智能计算机数学。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。 Zbl 1218.68014号 2 2011 模型理论隐藏的证明理论解释。 Zbl 1278.68202号 米哈伊·科德斯库;霍罗扎尔,富尔亚;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝 1 2012 解决100美元的模态逻辑挑战。 Zbl 1161.03302号 弗洛里安·拉贝;彼得·普德拉克;杰夫·萨特克利夫;沈维娜 1 2009 结肠炎的标准选择。 Zbl 1496.68203号 蒂尔·莫萨科夫斯基;弗洛里安·拉贝;米哈伊·科德斯库 1 2017 建立统一的数学数据基础设施:数据库和接口生成。 Zbl 1428.68356号 卡加·贝尔奇奇;迈克尔·科尔哈斯;弗洛里安·拉贝 1 2019 在MMT中绘制组合符。 兹比尔1428.68353 弗洛里安·拉贝;亚斯敏·沙罗达 1 2019 面向数学知识的异构查询语言。 Zbl 1455.68264号 卡加·贝尔奇奇;迈克尔·科尔哈斯;弗洛里安·拉贝 1 2020 TGView3D:理论图形的三维可视化系统。 Zbl 1455.68267号 理查德·马库斯;迈克尔·科尔哈斯;弗洛里安·拉贝 1 2020 大数学和单脑障碍:数学知识的四足模型。 Zbl 1493.68391号 雅克·卡雷特;Farmer,William M。;迈克尔·科尔哈斯;弗洛里安·拉贝 1 2021 自动查找知识管理的理论形态。 Zbl 1417.68211号 穆勒,丹尼斯;迈克尔·科尔哈斯;弗洛里安·拉贝 1 2018 智能计算机数学。2017年7月17日至21日,在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。 Zbl 1364.68010号 1 2017 松驰理论形态。 Zbl 1367.03061号 弗洛里安·拉贝 1 2015 形态公理。 兹比尔1373.03132 弗洛里安·拉贝 1 2017 交换语言的形式逻辑定义。 Zbl 1417.68206号 霍罗扎尔,富尔亚;弗洛里安·拉贝 1 2015 编译逻辑。 Zbl 1394.68071号 米哈伊·科德斯库;霍罗扎尔,富尔亚;艾瓦拉斯贾库鲍斯卡斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝 1 2013 结合来源、内容、呈现、叙述和关系表示。 Zbl 1278.68292号 霍罗扎尔,富尔亚;阿林·艾科布;君士坦丁·朱科维奇;迈克尔·科尔哈斯;弗洛里安·拉贝 1 2011 的语义OpenPath(OpenPath)和数学ML3. Zbl 1271.68221号 迈克尔·科尔哈斯;弗洛里安·拉贝 1 2012 在类型理论逻辑框架中表示模型理论。 Zbl 1291.03068号 霍罗扎尔,富尔亚;弗洛里安·拉贝 1 2009 以知识表示格式访问Isabelle内容。 Zbl 07756106号 迈克尔·科尔哈斯;弗洛里安·拉贝;马卡里乌斯·温泽尔 1 2020 出口主要校样助理库的经验。 Zbl 07461271号 迈克尔·科尔哈斯;弗洛里安·拉贝 2 2021 大数学和单脑障碍:数学知识的四足模型。 Zbl 1493.68391号 雅克·卡雷特;Farmer,William M。;迈克尔·科尔哈斯;弗洛里安·拉贝 1 2021 数学形式化语言综述。 Zbl 1455.68257号 塞萨里·卡利西克;弗洛里安·拉贝 6 2020 在正式元语言中表示结构语言特征。 Zbl 1455.68268号 穆勒,丹尼斯;弗洛里安·拉贝;科林·罗斯冈;迈克尔·科尔哈斯 4 2020 面向数学知识的异构查询语言。 Zbl 1455.68264号 卡加·贝尔奇奇;迈克尔·科尔哈斯;弗洛里安·拉贝 1 2020 TGView3D:一个用于理论图三维可视化的系统。 Zbl 1455.68267号 理查德·马库斯;迈克尔·科尔哈斯;弗洛里安·拉贝 1 2020 以知识表示格式访问Isabelle内容。 Zbl 07756106号 迈克尔·科尔哈斯;弗洛里安·拉贝;马卡里乌斯·温泽尔 1 2020 跨数学库的关系数据。 Zbl 1428.68352号 安德烈亚·康多卢奇;迈克尔·科尔哈斯;穆勒,丹尼斯;弗洛里安·拉贝;克劳迪奥·萨塞尔多蒂·科恩;马卡里乌斯·温泽尔 三 2019 Coq库作为理论图。 Zbl 1428.68344号 穆勒,丹尼斯;弗洛里安·拉贝;克劳迪奥·萨塞尔多蒂·科恩 三 2019 如何使用非确定性函数进行计算。 Zbl 1434.68078号 理查德·伯德;弗洛里安·拉贝 2 2019 建立统一的数学数据基础设施:数据库和接口生成。 Zbl 1428.68356号 Berčič,卡佳;迈克尔·科尔哈斯;弗洛里安·拉贝 1 2019 在MMT中绘制组合符。 Zbl 1428.68353号 弗洛里安·拉贝;亚斯敏·沙罗达 1 2019 理论作为类型。 Zbl 1511.68340号 穆勒,丹尼斯;弗洛里安·拉贝;迈克尔·科尔哈斯 4 2018 一种模块化重建算法。 Zbl 1407.68440号 弗洛里安·拉贝 4 2018 自动查找知识管理的理论形态。 Zbl 1417.68211号 穆勒,丹尼斯;迈克尔·科尔哈斯;弗洛里安·拉贝 1 2018 如何识别、翻译和组合逻辑? Zbl 1444.03121号 弗洛里安·拉贝 12 2017 形式数学系统概念之间的对齐分类。 Zbl 1367.68309号 穆勒,丹尼斯;Thibault Gauthier;塞萨里·卡利西克;迈克尔·科尔哈斯;弗洛里安·拉贝 5 2017 虚拟理论–数学知识库的统一接口。 兹比尔1497.68550 汤姆·威辛;迈克尔·科尔哈斯;弗洛里安·拉贝 2 2017 通过通用格式的解释使PVS可用于通用服务。 Zbl 1484.68311号 迈克尔·科尔哈斯;穆勒,丹尼斯;萨姆·奥雷;弗洛里安·拉贝 2 2017 结肠炎的标准选择。 Zbl 1496.68203号 蒂尔·莫萨科夫斯基;弗洛里安·拉贝;米哈伊·科德斯库 1 2017 智能计算机数学。2017年7月17日至21日,在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。 兹比尔1364.68010 1 2017 形态公理。 Zbl 1373.03132号 弗洛里安·拉贝 1 2017 QED重新加载:朝向一个多元的正式数学知识库。 Zbl 1451.68343号 迈克尔·科尔哈斯;弗洛里安·拉贝 4 2016 OpenDreamKit项目中的互操作性:中间的方法。 Zbl 1344.68268号 保罗·奥利维尔·德哈伊;米尼亚·伊恩库;迈克尔·科尔哈斯;亚历山大·科诺瓦洛夫;塞缪尔·莱利耶夫尔;穆勒,丹尼斯;马库斯·普菲弗;弗洛里安·拉贝;尼古拉斯·M·蒂埃里。;汤姆·威辛 三 2016 逻辑的未来:基础依赖。 Zbl 1436.03179号 弗洛里安·拉贝 2 2016 通用文字。 Zbl 1417.68216号 弗洛里安·拉贝 4 2015 智能计算机数学。2015年国际会议,CICM,美国华盛顿特区,2015年7月13日至17日,会议记录。 Zbl 1316.68015号 2 2015 松驰理论形态。 Zbl 1367.03061号 弗洛里安·拉贝 1 2015 交换语言的形式逻辑定义。 Zbl 1417.68206号 霍罗扎尔,富尔亚;弗洛里安·拉贝 1 2015 形式化数学的柔性算子。 Zbl 1304.68171号 霍罗扎尔,富尔亚;弗洛里安·拉贝;迈克尔·科尔哈斯 7 2014 面向HOL Light的知识管理。 Zbl 1304.68158号 塞萨里·卡利西克;弗洛里安·拉贝 6 2014 可扩展模块系统。 Zbl 1358.68283号 弗洛里安·拉贝;迈克尔·科尔哈斯 39 2013 OMDoc中的Mizar数学库:翻译和应用。 Zbl 1260.68375号 米尼亚·伊恩库;迈克尔·科尔哈斯;弗洛里安·拉贝;约瑟夫·乌尔班 19 2013 MMT API:通用MKM系统。 Zbl 1390.68626号 弗洛里安·拉贝 18 2013 结合模型和证明理论的逻辑框架。 兹伯利1326.03082 弗洛里安·拉贝 8 2013 逻辑框架的逻辑关系。 Zbl 1353.68252号 弗洛里安·拉贝;克里斯蒂娜·索贾科娃 三 2013 双形理论图的通用机器。 Zbl 1278.68267号 迈克尔·科尔哈斯;费利克斯·曼斯;弗洛里安·拉贝 2 2013 编译逻辑。 Zbl 1394.68071号 米哈伊·科德斯库;霍罗扎尔,富尔亚;Jakubauskas,艾瓦拉;蒂尔·莫萨科夫斯基;弗洛里安·拉贝 1 2013 面向异构工具集Hets中的逻辑框架。 Zbl 1278.68286号 米哈伊·科德斯库;霍罗扎尔,富尔亚;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝;克里斯蒂娜·索贾科娃 8 2012 在语句级别扩展MKM格式。 Zbl 1278.68293号 霍罗扎尔,富尔亚;迈克尔·科尔哈斯;弗洛里安·拉贝 7 2012 用于正式数学库的查询语言。 Zbl 1359.68272号 弗洛里安·拉贝 4 2012 模型理论隐藏的证明理论解释。 Zbl 1278.68202号 米哈伊·科德斯库;霍罗扎尔,富尔亚;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝 1 2012 的语义OpenPath(OpenPath)和数学ML3. Zbl 1271.68221号 迈克尔·科尔哈斯;弗洛里安·拉贝 1 2012 项目摘要:逻辑地图集和集成器(LATIN)。 Zbl 1278.68285号 米哈伊·科德斯库;霍罗扎尔,富尔亚;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝 18 2011 数学基础形式化。 兹比尔1242.03031 米尼亚·伊恩库;弗洛里安·拉贝 12 2011 在类型理论逻辑框架中表示模型理论。 Zbl 1236.03027号 霍罗扎尔,富尔亚;弗洛里安·拉贝 9 2011 关于集成问题的基本观点。 Zbl 1278.68289号 弗洛里安·拉贝;迈克尔·科尔哈斯;克劳迪奥·萨塞尔多蒂·科恩 6 2011 Martin-Löf的扩展类型理论的Kripke语义。 Zbl 1237.03007号 噢,史蒂夫;弗洛里安·拉贝 2 2011 智能计算机数学。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。 Zbl 1218.68014号 2 2011 结合来源、内容、呈现、叙述和关系表示。 Zbl 1278.68292号 霍罗扎尔,富尔亚;阿林·艾科布;君士坦丁·朱科维奇;迈克尔·科尔哈斯;弗洛里安·拉贝 1 2011 走向大规模的MKM:模块化表示和可扩展的软件架构。 兹比尔1278.68297 迈克尔·科尔哈斯;弗洛里安·拉贝;维亚切斯拉夫·兹霍卢德夫 7 2010 将web服务集成到活动数学文档中。 Zbl 1247.68314号 贾纳·吉塞瓦;克里斯托夫·兰格;弗洛里安·拉贝 5 2009 Martin-Löf的扩展类型理论的Kripke语义。 Zbl 1246.03022号 噢,史蒂夫;弗洛里安·拉贝 2 2009 解决100美元的模态逻辑挑战。 兹比尔1161.03302 弗洛里安·拉贝;彼得·普德拉克;杰夫·萨特克利夫;沈维娜 1 2009 在类型理论逻辑框架中表示模型理论。 Zbl 1291.03068号 霍罗扎尔,富尔亚;弗洛里安·拉贝 1 2009 THF0–用于高阶逻辑的TPTP语言的核心。 Zbl 1165.68447号 克里斯托夫·本兹穆勒;弗洛里安·拉贝;杰夫·萨特克利夫 8 2008 动态数学文档的符号。 Zbl 1166.00304号 迈克尔·科尔哈斯;克里斯汀·米勒;弗洛里安·拉贝 7 2008 具有依赖类型的一阶逻辑。 Zbl 1222.03016号 弗洛里安·拉贝 三 2006 所有引用出版物 排名前五的出版物 全部的 前5名164位作者引用 35 弗洛里安·拉贝 31 迈克尔·科尔哈斯 10 塞萨里·卡利西克 8 霍罗扎尔,富尔亚 8 穆勒,丹尼斯 7 Pąk,卡罗尔 6 米尼亚·伊恩库 6 阿图尔·科尔尼·奥维茨 5 克里斯托夫·埃瓦尔德·本兹穆勒 5 蒂尔·莫萨科夫斯基 5 克劳迪奥·萨塞尔多蒂·科恩 4 雅克·卡雷特 4 米哈伊·科德斯库 4 Farmer,William M。 4 Thibault Gauthier 4 安德里亚·科尔哈塞 4 亚当·纳莫维奇 4 杰夫·萨特克利夫 三 乍得·布朗·爱德华 三 西蒙·福斯特 三 亚当·格拉博夫斯基 三 费卢西奥·圭迪 三 Aleksandr Vital’evich,基里洛维奇 三 英国利帕切夫。 三 奥尔加·阿韦尼罗夫纳·涅夫佐罗娃 三 约瑟夫·乌尔班 三 汤姆·威辛 2 格拉泽戈兹·班塞雷克 2 安德烈·鲍尔 2 卡加·贝尔奇奇 2 Czesław拜林斯基 2 拉斐尔·考德利埃 2 Besik Dundua 2 Elizarov,A.M。 2 君士坦丁·朱科维奇 2 特穆尔库西亚 2 克里斯托夫·兰格 2 罗马人Matuszewski 2 劳伦斯·查尔斯·保尔森 2 克里斯蒂娜·索贾科娃 2 沃尔夫拉姆·斯珀伯 2 泰斯,弗兰克 2 马卡里乌斯·温泽尔 2 泽达,弗兰克 1 罗宾·亚当斯 1 法比奥·阿莱西 1 索伦·奥尔 1 噢,史蒂夫 1 巴博萨、路易斯·索亚雷斯 1 休伯特·鲍迈斯特 1 若昂·菲利佩贝洛 1 马克·伯吉斯 1 穆罕默德·贝塔兹 1 乔纳斯·贝岑达尔 1 纪尧姆·伯勒 1 纪尧姆·伯里 1 内森·卡特(Nathan C.Carter)。 1 安德鲁·凯夫 1 蒋宗钜 1 扎卡里亚·奇哈尼 1 阿比舍克·丘格 1 阿尔贝托·齐法格利翁 1 阿德里安·德隆 1 保罗·奥利维尔,德哈耶 1 大卫·德拉哈耶 1 彼得罗·迪·贾南托尼奥 1 拉兹万·迪亚科内斯库 1 凯瑟琳·杜布瓦 1 恰兰·邓恩 1 阿诺德·菲埃茨克 1 利奥·弗雷塔斯 1 迈克尔·Fürsich 1 芙蓉岛、秀君 1 高基町五指 1 贾纳·吉塞瓦 1 德扬·基涅夫 1 米洛什·格里戈里奇。 1 皮埃尔·哈尔马格兰德 1 菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。 1 佩德罗·兰格尔·恩里克 1 奥利维尔·赫曼特 1 什特·潘·霍卢布 1 Furio Honsell 1 西蒙·胡贝尔 1 阿林·艾科布 1 君士坦丁·朱科夫什 1 安布罗斯·卡波西 1 彼得·科普克 1 Olexandr科诺瓦洛夫 1 托马斯·科普鲁奇 1 奥利弗·库茨 1 塞缪尔·莱利耶夫尔 1 玛丽娜·莱妮莎 1 罗伯特·刘易斯。 1 李俊毅·杰西 1 詹姆斯·利普顿(James B.Lipton)。 1 多米尼克·洛尔 1 安东·洛伦岑 1 罗朝晖 1 穆拉德·毛奇 …还有64位作者 全部的 前5名21篇连载文章中引用 12 自动推理杂志 4 MSCS公司。计算机科学中的数学结构 三 理论计算机科学 三 计算机科学中的数学 2 符号计算杂志 2 信息与计算 2 洛巴切夫斯基数学杂志 1 数学信使 1 计算的形式方面 1 人工智能通信 1 数学与人工智能年鉴 1 联合国证券交易所 1 Doklady数学 1 软计算 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 数学生物科学与工程 1 泛逻辑 1 计算机科学中的逻辑方法 1 形式化推理杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 109 计算机科学(68-XX) 35 数学逻辑和基础(03-XX) 4 总体主题;集合(00-XX) 2 组合数学(05-XX) 1 历史和传记(01-XX) 1 数论(11-XX) 1 范畴理论;同调代数(18-XX) 1 特殊功能(33至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文