编辑配置文件（在新选项卡中打开） Fairouz D.卡马雷丁。 合著者距离 作者ID: 卡马雷迪内.fairouz-d 发布日期： 法鲁兹卡马雷丁;卡马雷丁，F。;Fairouz D.卡马雷丁。 更多。。。较少的 编入索引的文档： 82出版物自1992年以来，包括3本书和1个附加arXiv预打印 8作为编辑的贡献 合著者： 30位合著者具有76联合出版物 467位合作作者 全部的 前5名合著者 14 单作者的 19 Wells，Joe B。 16 毛里西奥·阿亚拉·林科恩 16 罗伯·奈德佩尔特 9 特温·拉恩 8 亚历杭德罗·雷奥斯 6 卡瓦尔坎蒂·德·莫拉（Cavalcanti de Moura）、弗拉维奥·莱昂纳多（Flávio Leonardo） 6 文森特·拉里 6 丹尼尔·利马·文图拉 5 罗尔·布鲁 5 曼努埃尔·马雷克 4 弗朗索瓦·莫宁 4 卡里姆·努尔 4 乔纳森·塞尔丁。 2 杜恩，希兰 2 罗伯特·拉马尔 1 阿里尔·阿比塞 1 巴博萨，A.V。 1 吉尔·巴特 1 Tijn Borguis公司 1 罗伯特·李，警察 1 咖喱、哈斯克尔·布鲁克斯 1 威尔弗里德·霍奇斯 1 伊万·克莱恩 1 扬·威廉·克鲁普 1 伊莱恩·皮门特尔 1 约翰·皮里 1 丰满，细节 1 乔海燕 1 迪·昆兰 1 克日什托夫·雷特尔 1 克劳迪奥·萨塞尔多蒂·科恩 全部的 前5名系列 7 IGPL逻辑杂志 6 逻辑与计算杂志 5 逻辑、语言与信息杂志 4 函数编程杂志 三 理论计算机科学 三 纯逻辑与应用逻辑年鉴 三 国际计算机科学基础杂志 三 逻辑与代数程序设计杂志 2 计算机基础理论 2 应用逻辑杂志 2 应用逻辑系列 2 理论计算机科学电子笔记 1 《计算机杂志》。A部分/B部分 1 计算机程序设计科学 1 符号计算杂志 1 信息与计算 1 自动推理杂志 1 应用非经典逻辑杂志 1 IGPL公告 1 IGPL期刊 1 当代马特马提卡 1 函数与逻辑程序设计杂志 1 计算机科学课堂讲稿 1 计算中的文本 1 数学课文 1 逻辑博士 全部的 前5名领域 62 数理逻辑与基础（03-XX） 54 计算机科学（68至XX） 9 总体主题；集合（00-XX） 2 历史和传记（01-XX） 1 实际功能（26年X月X日） 1 数学教育（97-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 57出版物被引用189中的次85文件 引用人▼ 年份▼ 一个有用的\（\lambda \）-符号。 Zbl 0873.03018号 法鲁兹卡马雷丁;罗伯·奈德佩尔特 14 1996 关于逐步显式替换。 Zbl 0806.03013号 法鲁兹卡马雷丁;罗伯·奈德佩尔特 13 1993 用显式替换扩展\（\lambda \）-演算，在开放项上保持强归一化为合流演算。 Zbl 0882.03011号 法鲁兹卡马雷丁;亚历杭德罗·雷奥斯 10 1997 类型理论的现代视角。从它的起源到今天。 邮编1077.03006 法鲁兹卡马雷丁;特温·拉恩;罗伯·奈德佩尔特 7 2004 lambda演算中的精化约简。 Zbl 0846.68057号 法鲁兹卡马雷丁;Rob Nederpelt公司 7 1995 通过\（\lambda s_e \）风格的显式替换进行统一。 Zbl 0987.03012号 毛里西奥·阿亚拉·林科恩;法鲁兹卡马雷丁 7 2001 德布鲁因数学形式语言的精化。 Zbl 1048.03011号 法鲁兹卡马雷丁;罗伯·奈德佩尔特 7 2004 通过改进的（lambda）演算实现类型理论的统一方法。 Zbl 0874.03014号 法鲁兹卡马雷丁;罗伯·奈德佩尔特 6 1994 将显式替换的（lambda\sigma）和（lambda s）风格联系起来。 兹比尔0953.03013 法鲁兹卡马雷丁;亚历杭德罗，罗斯 6 2000 具有定义和广义约简的Barendregt立方体。 Zbl 0853.68116号 罗尔·布鲁;法鲁兹卡马雷丁;罗伯·奈德佩尔特 6 1996 Barendregt多维数据集中的规范类型和\（\Pi\）-转换。 Zbl 0854.03015号 法鲁兹卡马雷丁;罗伯·奈德佩尔特 6 1996 在\（\lambda\）-多维数据集中的\（\Pi\）-转换以及缩写组合。 兹伯利0930.03012 法鲁兹卡马雷丁;罗尔·布鲁;罗伯·奈德佩尔特 6 1999 用MathLang计算数学课文。 Zbl 1277.68288号 法鲁兹卡马雷丁;威尔斯，J.B。 6 2008 推迟、保存和保存广义约简的强归一化。 Zbl 0969.03022号 法鲁兹卡马雷丁 5 2000 广义β-约简和显式替换的演算：无类型和简单类型的版本。 兹比尔0924.68053 法鲁兹卡马雷丁;亚历杭德罗·雷奥斯;Wells，Joe B。 5 1998 显式替换a la de Bruijn：局部和全局方式。 Zbl 1264.03044号 法鲁兹卡马雷丁;亚历杭德罗·雷奥斯 4 2003 三十五年的数学自动化。致力于德布鲁因自动化35年。 Zbl 1055.68002号 4 2003 保存意思的图表。 Zbl 1038.68073号 乔·B·威尔斯。;丰满，细节;法鲁兹卡马雷丁 4 2003 功能和逻辑编程交叉点的系统。 Zbl 0779.68011号 法鲁兹卡马雷丁 三 1992 集合论和名词化。一、。 Zbl 0781.0302号 法鲁兹卡马雷丁 三 1992 集合论和名词化。二、。 Zbl 0803.03004号 法鲁兹卡马雷丁 三 1992 面向数学文本的面向对象结构。 兹比尔1151.68664 法鲁兹卡马雷丁;曼努埃尔·马雷克;威尔斯，J.B。 三 2006 使用参数优化Barendregt立方体。 Zbl 1037.03008号 法鲁兹卡马雷丁;特温·拉恩;罗伯·奈德佩尔特 三 2001 比较并实现显式替换和eta还原的计算。 Zbl 1067.03042号 毛里西奥·阿亚拉·林科恩;弗拉维奥·德·莫拉。;法鲁兹卡马雷丁 三 2005 关于将\（\lambda s_e\）-样式的统一应用于简单类型的高阶统一。 Zbl 1073.03007号 毛里西奥·阿亚拉·林科恩;法鲁兹卡马雷丁 三 2003 高阶统一：休特方法和基于显式替换的方法之间的结构关系。 Zbl 1138.03014号 弗拉维奥·德·莫拉。;毛里西奥·阿亚拉·林科恩;法鲁兹卡马雷丁 三 2008 交叉类型系统可实现语义的完整性结果。 Zbl 1127.03011号 法鲁兹卡马雷丁;卡里姆·努尔 2 2007 SUBSEXPL：用于模拟和比较显式替换计算的工具。 Zbl 1184.68469号 德莫拉，F.L.C。;阿亚拉·林科，M。;卡马雷丁，F。 2 2006 逻辑推理。第一道菜。 Zbl 1090.03001号 罗伯·奈德佩尔特;法鲁兹卡马雷丁 2 2004 名词化、谓词和类型包含。 Zbl 0793.03031号 法鲁兹卡马雷丁;伊万·克莱恩 2 1993 \（lambda）-术语、逻辑、限定词和量词。 兹比尔0793.03030 法鲁兹卡马雷丁 2 1992 在显式替换计算中桥接de Bruijn索引和变量名。 Zbl 0914.03019号 法鲁兹卡马雷丁;亚历杭德罗·雷奥斯 2 1998 用一个活页夹键入\（\lambda\）-calculi。 Zbl 1104.03008号 法鲁兹卡马雷丁 2 2005 通过显式替换进行二阶匹配。 Zbl 1108.03308号 弗拉维奥·德·莫拉。;费尔鲁兹Kamareddine;毛里西奥·阿亚拉·林科恩 2 2005 将自然语言还原为计算机化的数学输入方法。 Zbl 1202.68383号 法鲁兹卡马雷丁;罗伯特·拉马尔;曼努埃尔·马雷克;威尔斯，J.B。 2 2007 数学文本的叙事结构。 Zbl 1202.68384号 法鲁兹卡马雷丁;曼努埃尔·马雷克;克日什托夫·雷特尔;威尔斯，J.B。 2 2007 为ZF集合论增加了一个抽象障碍。 Zbl 1455.68256号 恰兰·邓恩;威尔斯，J.B。;法鲁兹卡马雷丁 2 2020 用de Bruijn指数和交集型系统进行显式替换计算。 Zbl 1405.03037号 丹尼尔·利马·文图拉;法鲁兹卡马雷丁;毛里西奥·阿亚拉·林科恩 1 2015 重新审视函数的概念。 Zbl 1020.03013号 法鲁兹卡马雷丁;特温·拉恩;罗伯·奈德佩尔特 1 2003 自动化和纯类型系统。 Zbl 1264.03043号 法鲁兹卡马雷丁;特温·拉恩;罗伯·奈德佩尔特 1 2003 De Bruijn的语法和\（\lambda\）-terms的简化行为：类型化的case。 Zbl 1090.68019号 法鲁兹卡马雷丁;罗尔·布鲁 1 2005 De Bruijn的语法和（lambda）-术语的简化行为：非类型化情况。 Zbl 1101.68452号 法鲁兹卡马雷丁;罗尔·布鲁 1 2005 桥接库里和丘奇的打字风格。 Zbl 1436.03106号 法鲁兹卡马雷丁;乔纳森·塞尔丁。;威尔斯，J.B。 1 2016 递归函数终止的形式化证明。 Zbl 0956.68135号 法鲁兹卡马雷丁;弗朗索瓦·莫宁 1 1999 特刊：类型理论和术语重写。1996年9月，在苏格兰格拉斯哥第一所国际学校提交的论文选集。 Zbl 0953.00007 1 2000 关于自动感应和非感应端接方法。 兹比尔0959.68077 法鲁兹卡马雷丁;弗朗索瓦·莫宁 1 1999 自然语言需要类型吗？ Zbl 0847.03016号 法鲁兹卡马雷丁 1 1995 反思罗素的分歧类型和克里普克的真理等级。 Zbl 0854.03007号 法鲁兹卡马雷丁;特温·拉恩 1 1996 回顾（lambda）-演算和纯类型系统的经典和de Bruijn表示法。 Zbl 1159.03306号 法鲁兹卡马雷丁 1 2001 计算机上数学的灵活编码。 兹比尔1108.68592 法鲁兹卡马雷丁;曼努埃尔·马雷克;威尔斯，J.B。 1 2004 MathLang：经验驱动的新数学语言开发。 Zbl 1271.68219号 法鲁兹卡马雷丁;曼努埃尔·马雷克;威尔斯，J.B。 1 2004 纯类型系统中的参数。 Zbl 1059.68019号 罗尔·布鲁;费尔鲁兹Kamareddine;特温·拉恩;罗伯·奈德佩尔特 1 2002 Church-Rosser关于\（{\beta}\）-和\（{\ beta}{\eta}）-约化的简化可约性证明。 Zbl 1311.03030号 法鲁兹卡马雷丁;文森特·拉里 1 2009 Skalpel：标准ML的基于约束的类型错误切片器。 Zbl 1356.68039号 文森特·拉里;威尔斯，乔;约翰·皮里;法鲁兹卡马雷丁 1 2017 （lambda）-演算中的可约性证明。 Zbl 1277.03012号 法鲁兹卡马雷丁;文森特·拉里;威尔斯，J.B。 1 2012 智能计算机数学。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。 Zbl 1484.68013号 1 2021 使用非集结构对象生成自定义集理论。 Zbl 1485.03221号 恰兰·邓恩;威尔斯，J.B。;法鲁兹卡马雷丁 1 2021 智能计算机数学。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。 Zbl 1484.68013号 1 2021 使用非集结构对象生成自定义集理论。 Zbl 1485.03221号 恰兰·邓恩;威尔斯，J.B。;法鲁兹卡马雷丁 1 2021 给ZF集合理论增加了一个抽象障碍。 Zbl 1455.68256号 恰兰·邓恩;威尔斯，J.B。;法鲁兹卡马雷丁 2 2020 Skalpel：标准ML的基于约束的类型错误切片器。 Zbl 1356.68039号 文森特·拉里;威尔斯，乔;约翰·皮里;法鲁兹卡马雷丁 1 2017 桥接库里和丘奇的打字风格。 Zbl 1436.03106号 法鲁兹卡马雷丁;乔纳森·塞尔丁。;威尔斯，J.B。 1 2016 用de Bruijn指数和交集型系统进行显式替换计算。 Zbl 1405.03037号 丹尼尔·利马·文图拉;法鲁兹卡马雷丁;毛里西奥·阿亚拉·林科恩 1 2015 （lambda）-演算中的可约性证明。 Zbl 1277.03012号 法鲁兹卡马雷丁;文森特·拉里;威尔斯，J.B。 1 2012 Church-Roser关于\（｛\beta｝\）-和\（｛\beta｝｛\eta｝\）-归约的简化可约性证明。 Zbl 1311.03030号 法鲁兹卡马雷丁;文森特·拉里 1 2009 用MathLang计算数学课文。 Zbl 1277.68288号 法鲁兹卡马雷丁;威尔斯，J.B。 6 2008 高阶统一：休特方法和基于显式替换的方法之间的结构关系。 Zbl 1138.03014号 弗拉维奥·德·莫拉。;毛里西奥·阿亚拉·林科恩;法鲁兹卡马雷丁 三 2008 交叉类型系统可实现语义的完整性结果。 Zbl 1127.03011号 费尔鲁兹Kamareddine;卡里姆·努尔 2 2007 将自然语言还原为计算机化的数学输入方法。 Zbl 1202.68383号 法鲁兹卡马雷丁;罗伯特·拉马尔;曼努埃尔·马雷克;威尔斯，J.B。 2 2007 数学文本的叙事结构。 Zbl 1202.68384号 法鲁兹卡马雷丁;曼努埃尔·马雷克;雷特尔，克日什托夫;威尔斯，J.B。 2 2007 面向数学文本的面向对象结构。 Zbl 1151.68664号 法鲁兹卡马雷丁;曼努埃尔·马雷克;威尔斯，J.B。 三 2006 SUBSEXPL：用于模拟和比较显式替换计算的工具。 Zbl 1184.68469号 德莫拉，F.L.C。;阿亚拉·林科，M。;卡马雷丁，F。 2 2006 比较并实现显式替换和eta还原的计算。 兹比尔1067.03042 毛里西奥·阿亚拉·林科恩;弗拉维奥·德·莫拉。;法鲁兹卡马雷丁 三 2005 用一个活页夹键入\（\lambda\）-calculi。 Zbl 1104.03008号 法鲁兹卡马雷丁 2 2005 通过显式替换进行二阶匹配。 Zbl 1108.03308号 弗拉维奥·德·莫拉。;法鲁兹卡马雷丁;毛里西奥·阿亚拉·林科恩 2 2005 De Bruijn的语法和\（\lambda\）-terms的简化行为：类型化的case。 Zbl 1090.68019号 法鲁兹卡马雷丁;布洛，罗埃尔 1 2005 De Bruijn的语法和（lambda）-术语的简化行为：非类型化情况。 Zbl 1101.68452号 法鲁兹卡马雷丁;罗尔·布鲁 1 2005 类型理论的现代视角。从它的起源到今天。 邮编1077.03006 法鲁兹卡马雷丁;特温·拉恩;罗伯·奈德佩尔特 7 2004 德布鲁因数学形式语言的精化。 Zbl 1048.03011号 费尔鲁兹Kamareddine;罗伯·奈德佩尔特 7 2004 逻辑推理。第一道菜。 Zbl 1090.03001号 罗伯·奈德佩尔特;法鲁兹卡马雷丁 2 2004 计算机上数学的灵活编码。 Zbl 1108.68592号 法鲁兹卡马雷丁;曼努埃尔·马雷克;威尔斯，J.B。 1 2004 MathLang：经验驱动的新数学语言开发。 兹比尔1271.68219 法鲁兹卡马雷丁;曼努埃尔·马雷克;威尔斯，J.B。 1 2004 显式替换a la de Bruijn：局部和全局方式。 Zbl 1264.03044号 法鲁兹卡马雷丁;亚历杭德罗·雷奥斯 4 2003 三十五年的数学自动化。致力于德布鲁因自动化35年。 Zbl 1055.68002号 4 2003 保存意思的图表。 Zbl 1038.68073号 乔·B·威尔斯。;丰满，细节;法鲁兹卡马雷丁 4 2003 关于将\（\lambda s_e \）-风格的统一应用于简单类型的高阶统一。 Zbl 1073.03007号 毛里西奥·阿亚拉·林科恩;法鲁兹卡马雷丁 三 2003 重新审视函数的概念。 Zbl 1020.03013号 法鲁兹卡马雷丁;特温·拉恩;罗伯·奈德佩尔特 1 2003 自动化和纯类型系统。 Zbl 1264.03043号 费尔鲁兹Kamareddine;特温·拉恩;罗伯·奈德佩尔特 1 2003 纯类型系统中的参数。 Zbl 1059.68019号 罗尔·布鲁;法鲁兹卡马雷丁;特温·拉恩;罗伯·奈德佩尔特 1 2002 通过\（\lambda s_e \）风格的显式替换进行统一。 Zbl 0987.03012号 毛里西奥·阿亚拉·林科恩;法鲁兹卡马雷丁 7 2001 使用参数优化Barendregt立方体。 Zbl 1037.03008号 法鲁兹卡马雷丁;特温·拉恩;Rob Nederpelt公司 三 2001 回顾（lambda）-演算和纯类型系统的经典和de Bruijn表示法。 Zbl 1159.03306号 法鲁兹卡马雷丁 1 2001 将显式替换的（lambda\sigma）和（lambda s）风格联系起来。 Zbl 0953.03013号 法鲁兹卡马雷丁;亚历杭德罗，罗斯 6 2000 推迟、保存和保存广义约简的强归一化。 Zbl 0969.03022号 法鲁兹卡马雷丁 5 2000 特刊：类型理论和术语重写。1996年9月，在苏格兰格拉斯哥第一所国际学校提交的论文选集。 兹比尔0953.00007 1 2000 在\（\lambda\）-多维数据集中的\（\Pi\）-转换以及缩写组合。 Zbl 0930.03012号 法鲁兹卡马雷丁;罗尔·布鲁;罗伯·奈德佩尔特 6 1999 递归函数终止的形式化证明。 Zbl 0956.68135号 法鲁兹卡马雷丁;弗朗索瓦·莫宁 1 1999 关于自动感应和非感应端接方法。 Zbl 0959.68077号 费尔鲁兹Kamareddine;弗朗索瓦·莫宁 1 1999 广义β-约简和显式替换的演算：无类型和简单类型的版本。 Zbl 0924.68053号 法鲁兹卡马雷丁;亚历杭德罗·雷奥斯;Wells，Joe B。 5 1998 在显式替换计算中桥接de Bruijn索引和变量名。 Zbl 0914.03019号 法鲁兹卡马雷丁;亚历杭德罗·雷奥斯 2 1998 用显式替换将（lambda）-演算扩展为开放项上的合流演算。 Zbl 0882.03011号 费尔鲁兹Kamareddine;亚历杭德罗·雷奥斯 10 1997 一个有用的\（\lambda \）-符号。 Zbl 0873.03018号 法鲁兹卡马雷丁;罗伯·奈德佩尔特 14 1996 具有定义和广义约简的Barendregt立方体。 Zbl 0853.68116号 罗尔·布鲁;法鲁兹卡马雷丁;罗伯·奈德佩尔特 6 1996 Barendregt多维数据集中的规范类型和\（\Pi\）-转换。 Zbl 0854.03015号 费尔鲁兹Kamareddine;罗伯·奈德佩尔特 6 1996 反思罗素的分歧类型和克里普克的真理等级。 Zbl 0854.03007号 法鲁兹卡马雷丁;特温·拉恩 1 1996 lambda演算中的精化约简。 Zbl 0846.68057号 法鲁兹卡马雷丁;罗伯·奈德佩尔特 7 1995 自然语言需要类型吗？ Zbl 0847.03016号 法鲁兹卡马雷丁 1 1995 一种通过精确的\（\lambda \）演算来实现类型论的统一方法。 Zbl 0874.03014号 法鲁兹卡马雷丁;罗伯·奈德佩尔特 6 1994 关于逐步显式替换。 Zbl 0806.03013号 法鲁兹卡马雷丁;罗伯·奈德佩尔特 13 1993 名词化、谓词和类型包含。 Zbl 0793.03031号 法鲁兹卡马雷丁;伊万·克莱恩 2 1993 功能和逻辑编程交叉点的系统。 兹比尔0779.68011 法鲁兹卡马雷丁 三 1992 集合论和名词化。一、。 Zbl 0781.0302号 法鲁兹卡马雷丁 三 1992 集合论和名词化。二、。 Zbl 0803.03004号 法鲁兹卡马雷丁 三 1992 \（lambda）-术语、逻辑、限定词和量词。 Zbl 0793.03030号 法鲁兹卡马雷丁 2 1992 所有引用出版物 前5名被引用出版物 全部的 前5名109位作者引用 24 Fairouz D.卡马雷丁。 10 罗伯·奈德佩尔特 8 毛里西奥·阿亚拉·林科恩 6 卡瓦尔坎蒂·德·莫拉（Cavalcanti de Moura）、弗拉维奥·莱昂纳多（Flávio Leonardo） 6 乔·B·威尔斯。 5 罗尔·布鲁 三 迈克尔·科尔哈斯 三 特温·拉恩 三 曼弗雷德·施密特·沙乌 2 阿诺·阿夫隆 2 科恩、利隆 2 马里亚纽拉州Dezani-Ciancaglini 2 恰兰·邓恩 2 Elizarov，A.M。 2 玛丽贝尔·费尔南德斯 2 菲奥伦佐·弗朗西斯科尼 2 简·赫尔曼·杰弗斯 2 迪莉娅·凯斯纳 2 皮埃尔·莱斯坎 2 英国利帕切夫。 2 亚历山大·利亚列茨基。 2 埃琳娜·马奇卡索娃 2 多梅尼科·梅萨诺。 2 卢卡·马斯特罗贾科莫 2 戈帕兰·纳达图尔 2 奥尔加·阿韦尼罗夫纳·涅夫佐罗娃 2 安德烈·帕斯科维奇 2 罗查·奥利维拉，安娜·克里斯蒂娜 2 大卫·萨贝尔 2 索洛夫·v·D·。 2 丹尼尔·利马·文图拉 2 康斯坦丁·沃奇宁 1 法比奥·阿莱西 1 詹姆斯·H·安德鲁斯。 1 安纳托利·安尼西莫夫。 1 安德烈亚·阿斯佩蒂 1 谢尔盖·奥特西尔 1 史蒂夫·阿沃迪 1 格拉泽戈兹·班塞雷克 1 弗兰科·巴巴内拉 1 巴博萨，A.V。 1 Benaissa，Zine-el-Abidine公司 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 马克·伯吉斯 1 乔纳斯·贝岑达尔 1 艾哈迈德·巴亚特 1 杰拉德·布多尔 1 丹尼尔·布里奥德 1 阿比舍克·丘格 1 罗伯特·李，警察 1 奥利维尔·丹维 1 詹姆斯·哈罗德·达文波特 1 瓦莱里亚·德·佩瓦 1 弗朗西安·戴奇森 1 阿拉斯泰尔·唐纳森。 1 丹·多尔蒂 1 纳比尔·布斯塔尼 1 楚其·埃里森 1 西蒙·盖伊。 1 费卢西奥·圭迪 1 尤里安·哈格 1 Furio Honsell公司 1 古尔古伊一世Jojgov。 1 阿萨夫·科福里。 1 苏拉布·O·卡西达什维利。 1 Aleksandr Vital’evich，基里洛维奇 1 扬·威廉·克鲁普 1 安德烈亚·科尔哈斯 1 罗伯特·拉马尔 1 弗雷德里克·朗 1 笔记本电脑，安德烈 1 圣埃芬·让·埃里克·伦格兰德 1 玛丽娜·莱妮莎 1 Chuck Liang先生 1 路易吉·利科里 1 多米尼克·洛尔 1 弗朗索瓦·莫宁 1 穆勒，丹尼斯 1 约阿希姆·尼伦 1 Lasse R.尼尔森。 1 努尔，卡里姆 1 保罗·皮斯通 1 朱塞佩·普里米埃罗 1 齐晓初 1 文森特·拉里 1 阿恩·兰塔 1 贾尔斯·里格尔 1 费边·雷诺 1 亚历杭德罗·雷奥斯 1 艾克·里特 1 克里斯托弗·霍格斯布罗·罗斯 1 格里高·罗什乌 1 Jocelyne的Rouyer-Degli 1 科利法·萨伯 1 克劳迪奥·萨塞尔多蒂·科恩 1 施温哈默（Jan Schwinghammer） 1 乔纳森·塞尔丁。 1 ☑特拉安·弗洛林（Traian Florin） 1 斯梅特泽斯，沙克 1 索伦森，莫滕·海涅B。 …还有9位作者 全部的 前5名27篇连载文章中引用 10 理论计算机科学 4 自动推理杂志 4 应用逻辑杂志 三 纯逻辑与应用逻辑年鉴 三 信息与计算 三 函数编程杂志 三 逻辑与代数程序设计杂志 2 计算机科学中的逻辑方法 1 信息处理信件 1 数学信使 1 模糊集与系统 1 符号逻辑杂志 1 Studia Logica公司 1 合成 1 计算机程序设计科学 1 逻辑历史与哲学 1 国际计算机科学基础杂志 1 欧洲运筹学杂志 1 Indagationes Mathematicae公司。新系列 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 符号逻辑公报 1 Doklady数学 1 高阶和符号计算 1 计算机基础理论 1 洛巴切夫斯基数学杂志 1 计算机语言、系统和结构 全部的 前5名在7个字段中引用 64 计算机科学（68至XX） 45 数理逻辑与基础（03-XX） 2 历史和传记（01-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 代数拓扑（55-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文