编辑配置文件（在新选项卡中打开） 迈克尔·卡明斯基 合著者距离 作者ID： 卡明斯基迈查尔 发布日期： 迈克尔·卡明斯基；卡明斯基，M。 已编制索引的文档： 86出版物自1981年起 4作为编辑的贡献 合著者： 28位合著者具有57联合出版物 755位合作作者 全部的 前5名合著者 25 单作者的 15 尼西姆·弗朗西兹 7 塔马尔·艾齐科维茨 7 迈克尔·蒂姆金 5 内德·H·比肖蒂。 4 丹尼尔·根金 4 约翰·安德烈亚斯·马考斯基 4 托尼·谭 2 郑秀荣 2 科恩，阿里尔 2 阿卡迪·埃斯特林 2 西蒙·马蒂尼 2 利亚特·彼得弗雷德 2 雷伊，盖伊 2 伊戈尔·什帕林斯基（Igor E.Shparlinski）。 2 Shmuel Zaks先生 1 雷扎·阿赫塔 1 阿普，阿什利 1 阿米尔·Z·阿弗布奇。 1 雷切尔·本·埃利亚胡·佐哈里 1 兹兹斯拉夫·布尔达 1 程，Edward Y.C。 1 尤利娅·杜波夫 1 纳斯罗拉·埃特马迪 1 本杰明·格林伯格 1 奥尔纳·格伦伯格 1 德斯蒙德·约翰斯顿。 1 Jerzy Jurkiewicz 1 Shmuel Katz 1 大卫·G·柯克帕特里克。 1 马西耶·诺瓦克。 1 加博·帕普 1 Shlomit S.品特。 1 朱莉娅·鲁宾·莫辛 1 阿夫拉姆·西迪 1 范·埃克塞尔（Jasmine Van Exel） 1 戴维·弗农 1 米歇尔·沃尔德施米特 1 科里州华盛顿 1 Shuly Wintner公司 1 Wong，Chung Kei先生 1 邢朝平 1 亚里夫，耶尔 1 伊斯梅尔·扎赫德 1 丹尼尔·泽特林 全部的 前5名系列 8 理论计算机科学 6 计算机基础理论 5 Studia Logica公司 5 逻辑与计算杂志 4 数学与人工智能年鉴 三 计算机协会杂志 三 计算机与系统科学杂志 三 圣母院形式逻辑杂志 三 算法杂志 三 泛逻辑 2 信息学报 2 人工智能 2 SIAM计算机杂志 2 国际计算机科学基础杂志 2 计算复杂性 2 ACM计算逻辑事务 2 计算机科学课堂讲稿 1 IEEE信息理论汇刊 1 概率论及其应用 1 数论杂志 1 哲学逻辑杂志 1 逻辑与分析。Nouvelle Série公司 1 波兰数学年鉴。系列IV 1 统计与概率信件 1 应用数值数学 1 算法 1 信息与计算 1 逻辑、语言与信息杂志 1 IGPL逻辑杂志 1 拟群及相关系统 1 Polonica物理学报B 1 符号逻辑述评 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 全部的 前5名领域 65 计算机科学（68至XX） 39 数理逻辑与基础（03-XX） 10 数论（11-XX） 5 场论与多项式（12-XX） 4 总体主题；集合（00-XX） 2 交换代数（13-XX） 2 概率论与随机过程（60-XX） 2 数值分析（65-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 群论与推广（20-XX） 1 复变量的函数（30年XX月） 1 近似和展开（41至XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 67出版物有被引用317中的次226文件 引用人▼ 年份▼ 有限记忆自动机。 Zbl 0938.68711号 迈克尔·卡明斯基；尼西姆·弗朗西兹 94 1994 具有非确定性重分配的有限记忆自动机。 Zbl 1207.68191号 迈克尔·卡明斯基；丹尼尔·泽特林 17 2010 无限字母表上的无上下文语言。 Zbl 0896.68088号 Edward Y.C.Cheng。；迈克尔·卡明斯基 15 1998 二阶命题模态逻辑的表达能力。 Zbl 0895.03005号 迈克尔·卡明斯基；迈克尔·蒂姆金 13 1996 常规语言的一种分类。 Zbl 0565.68076号 迈克尔·卡明斯基 11 1985 2-可交换随机变量的强大数定律。 Zbl 0855.60036号 北卡罗来纳州埃特马迪。；卡明斯基，M。 10 1996 \（LR（0）\）合取文法和确定性同步交替下推自动机。 Zbl 1332.68102号 塔马尔·艾齐科维茨；迈克尔·卡明斯基 9 2011 无限字母表上的树自动机。 Zbl 1133.68364号 迈克尔·卡明斯基；托尼·谭 9 2008 无限字母表上语言的正则表达式。 Zbl 1096.68083号 迈克尔·卡明斯基；托尼·谭 8 2006 公开违约理论的比较研究。 兹比尔1013.68555 迈克尔·卡明斯基 8 1995 用经典命题逻辑扩展了Lambek演算的关系语义。 Zbl 1322.03018号 迈克尔·卡明斯基；尼西姆·弗朗西兹 8 2014 矩阵和转置矩阵产品的附加要求。 Zbl 0653.65032号 迈克尔·卡明斯基；大卫·G·柯克帕特里克。；内德·H·比肖蒂。 8 1988 交换增强的预分组语法和温和的上下文敏感语言。 Zbl 1128.68045号 尼西姆·弗朗西兹；迈克尔·卡明斯基 7 2007 非单调默认模态逻辑。 Zbl 0799.68174号 迈克尔·蒂姆金；迈克尔·卡明斯基 6 1991 直觉主义命题逻辑的非标准连接词。 Zbl 0658.03005号 迈克尔·卡明斯基 6 1988 有限域上多项式乘法的乘法复杂性。 Zbl 0677.12007号 迈克尔·卡明斯基；内德·H·比肖蒂。 6 1989 通过域闭合假设对开放缺省理论进行扩展。 Zbl 0901.68188号 迈克尔·卡明斯基；约翰·马考斯基（Johann A.Makowsky）。；迈克尔·蒂姆金 6 1998 无限字母表上确定性正则语言的代数特征。 Zbl 1059.68059号 尼西姆·弗朗西兹；迈克尔·卡明斯基 5 2003 多值逻辑的微积分。 Zbl 1529.03172号 迈克尔·卡明斯基；尼西姆·弗朗西兹 5 2021 将默认系统嵌入到非单调逻辑中。 Zbl 0790.03025号 迈克尔·卡明斯基 4 1991 有限值命题逻辑的多元自然演绎。 Zbl 1513.03053号 尼西姆·弗朗西兹；迈克尔·卡明斯基 4 2019 关于逻辑程序的稳定模型语义的注记。 Zbl 0903.68175号 迈克尔·卡明斯基 4 1997 不依赖于环常数的多项式乘法算法。 Zbl 0648.13001号 迈克尔·卡明斯基 三 1988 单次运算定义的Bol-Moufang拟群的变种。 Zbl 1290.20061号 雷扎·阿赫塔；阿普，阿什利；迈克尔·卡明斯基；范·埃克塞尔（Jasmine Van Exel）；戴维·弗农；科里州华盛顿 三 2012 连接文法和交替下推自动机。 Zbl 1358.68155号 塔马尔·艾齐科维茨；迈克尔·卡明斯基 三 2013 关于整数乘积和多项式乘积的概率验证的说明。 Zbl 0699.68068号 迈克尔·卡明斯基 三 1989 连接文法和交替下推自动机。（扩展摘要）。 Zbl 1155.68413号 塔马尔·艾齐科维茨；迈克尔·卡明斯基 三 2008 交换增强的预分组文法和带取消的下推自动机。 Zbl 1160.68019号 尼西姆·弗朗西兹；迈克尔·卡明斯基 三 2008 LR（0）合取文法和确定性同步交替下推自动机。 Zbl 1348.68079号 塔马尔·艾齐科维茨；迈克尔·卡明斯基 三 2016 Lambek微积分用直觉命题逻辑进行了扩展。 兹比尔1417.03165 迈克尔·卡明斯基；尼西姆·弗朗西兹 三 2016 分圆多项式和分圆数域中的单位。 Zbl 0634.12005号 迈克尔·卡明斯基 2 1988 有限域上小次多项式乘法算法的分类。 兹比尔0769.11049 阿米尔·艾弗布赫；内德·H·比肖蒂。；迈克尔·卡明斯基 2 1992 动作的时间逻辑的表达能力。 Zbl 1011.03009号 阿卡迪·埃斯特林；迈克尔·卡明斯基 2 2002 封闭域上的开放默认理论。 Zbl 0937.03037号 迈克尔·卡明斯基 2 1999 关于无限字母表上双波自动机的注记。 Zbl 1200.03026号 迈克尔·卡明斯基；托尼·谭 2 2010 线性连接文法和单圈同步交替下推自动机。 Zbl 1325.68116号 塔马尔·艾齐科维茨；迈克尔·卡明斯基 2 2011 默认情况下不可区分。 Zbl 1219.68148号 科恩，阿里尔；迈克尔·卡明斯基；约翰·马考斯基（Johann A.Makowsky）。 2 2005 一阶非单调模态逻辑。 Zbl 0953.03021号 迈克尔·卡明斯基；雷伊，盖伊 2 2000 有限域上多项式的乘法。 Zbl 0701.11070号 内德·H·比肖蒂。；迈克尔·卡明斯基 2 1990 集群可分解克里普克解释的模态逻辑。 Zbl 1145.03010号 迈克尔·蒂姆金；迈克尔·卡明斯基 2 2007 玩具模型中的财富凝结和“腐败”。 Zbl 1372.91066号 D.约翰斯顿。；Z.伯达。；Jurkiewicz，J。；卡明斯基，M。；诺瓦克，M.A。；巴普，G。；我·扎赫德。 2 2005 难以计算的线性形式集。 Zbl 07724239号 迈克尔·卡明斯基；伊戈尔·什帕林斯基（Igor E.Shparlinski）。 1 2021 带有过去运算符的分支时间逻辑。 Zbl 0821.68055号 迈克尔·卡明斯基 1 1994 多项式乘法的下限。 Zbl 0607.94010号 迈克尔·卡明斯基 1 1985 动作时序逻辑中结巴时的不变性。 Zbl 1171.68549号 迈克尔·卡明斯基 1 2006 有限域上的多项式乘法：从二次复杂性到直线复杂性。 兹比尔1130.68062 内德·H·比肖蒂。；迈克尔·卡明斯基 1 2006 一个与Padé逼近行收敛有关的整数规划问题的求解。 Zbl 0738.65003号 迈克尔·卡明斯基；阿夫拉姆·西迪 1 1991 有向图上的有限自动机。 Zbl 0749.68054号 迈克尔·卡明斯基；施洛米特·品特。 1 1992 用于无限字母上的语言的正则表达式。 兹比尔1091.68545 迈克尔·卡明斯基；托尼·谭 1 2004 默认逻辑中的相似性保留。 Zbl 0928.03026号 雷切尔·本·埃利亚胡·佐哈里；尼西姆·弗朗西兹；迈克尔·卡明斯基 1 1999 动作时序逻辑的实时语义。 Zbl 1050.03014号 迈克尔·卡明斯基；亚里夫，耶尔 1 2003 关于交替有限记忆自动机的空性问题的注记。 Zbl 1358.68168号 丹尼尔·根金；迈克尔·卡明斯基；利亚特·彼得弗雷德 1 2014 某些相依随机变量的中心极限定理。 Zbl 1122.60026号 卡明斯基，M。 1 2007 无限字母表下推自动机中非确定性重排的威力。 Zbl 1241.68078号 尤利娅·杜波夫；迈克尔·卡明斯基 1 2009 默认情况下的相同概念及其在回指、模糊和不确定推理中的应用。 Zbl 1188.68275号 科恩，阿里尔；迈克尔·卡明斯基；约翰·马考斯基（Johann A.Makowsky）。 1 2008 一阶地面非单调模态逻辑。 Zbl 1148.03016号 本杰明·格林伯格；迈克尔·卡明斯基 1 2008 非单调逻辑中开放缺省理论的解释。 Zbl 0866.03016号 迈克尔·卡明斯基 1 1993 消除德雷公式。 Zbl 0885.03018号 迈克尔·卡明斯基 1 1997 动作逻辑的语义分析。 Zbl 0815.03012号 迈克尔·蒂姆金；迈克尔·卡明斯基 1 1995 多值逻辑中的透明真值谓词。 Zbl 1435.03046号 尼西姆·弗朗西兹；迈克尔·卡明斯基 1 2019 用下限扩展自由预群。 Zbl 1228.03013号 塔马尔·艾齐科维茨；尼西姆·弗朗西兹；丹尼尔·根金；迈克尔·卡明斯基 1 2010 有限域上多项式乘法复杂性的下限。 Zbl 1119.11071号 迈克尔·卡明斯基 1 2005 多值逻辑的结构规则。 Zbl 07061142号 尼西姆·弗朗西兹；迈克尔·卡明斯基 1 2019 无限字母表上语言反转下的闭包。 兹比尔1484.68087 丹尼尔·根金；迈克尔·卡明斯基；利亚特·彼得弗伦德 1 2018 重温自认知逻辑中的量化。 Zbl 1365.68406号 迈克尔·卡明斯基；雷伊，盖伊 1 2002 分支时间逻辑的有限路径和循环路径模型。 Zbl 0722.03026号 迈克尔·卡明斯基；迈克尔·蒂姆金 1 1990 直线上的最小控制间隔集。 Zbl 0896.68105号 郑，S.-W。；卡明斯基，M。；扎克斯，S。 1 1998 多值逻辑的微积分。 Zbl 1529.03172号 迈克尔·卡明斯基；尼西姆·弗朗西兹 5 2021 难以计算的线性形式集。 Zbl 07724239号 迈克尔·卡明斯基；伊戈尔·什帕林斯基（Igor E.Shparlinski）。 1 2021 有限值命题逻辑的多元自然演绎。 Zbl 1513.03053号 尼西姆·弗朗西兹；迈克尔·卡明斯基 4 2019 多值逻辑中的透明真值谓词。 Zbl 1435.03046号 尼西姆·弗朗西兹；迈克尔·卡明斯基 1 2019 多值逻辑的结构规则。 Zbl 07061142号 尼西姆·弗朗西兹；迈克尔·卡明斯基 1 2019 无限字母表上语言反转下的闭包。 Zbl 1484.68087号 丹尼尔·根金；迈克尔·卡明斯基；利亚特·彼得弗雷德 1 2018 LR（0）合取文法和确定性同步交替下推自动机。 Zbl 1348.68079号 塔马尔·艾齐科维茨；迈克尔·卡明斯基 三 2016 Lambek演算扩展了直觉命题逻辑。 Zbl 1417.03165号 迈克尔·卡明斯基；尼西姆·弗朗西兹 三 2016 Lambek演算的关系语义用经典命题逻辑进行了扩展。 Zbl 1322.03018号 迈克尔·卡明斯基；尼西姆·弗朗西兹 8 2014 关于交替有限记忆自动机的空性问题的注记。 Zbl 1358.68168号 丹尼尔·根金；迈克尔·卡明斯基；利亚特·彼得弗雷德 1 2014 连接文法和交替下推自动机。 Zbl 1358.68155号 塔马尔·艾齐科维茨；迈克尔·卡明斯基 三 2013 单次运算定义的Bol-Moufang拟群的变种。 Zbl 1290.20061号 雷扎·阿赫塔；阿普，阿什利；迈克尔·卡明斯基；范·埃克塞尔（Jasmine Van Exel）；戴维·弗农；科里，华盛顿 三 2012 \（LR（0）\）连接文法和确定性同步交替下推自动机。 Zbl 1332.68102号 塔马尔·艾齐科维茨；迈克尔·卡明斯基 9 2011 线性连接文法和单圈同步交替下推自动机。 Zbl 1325.68116号 塔马尔·艾齐科维茨；迈克尔·卡明斯基 2 2011 具有非确定性重分配的有限记忆自动机。 Zbl 1207.68191号 迈克尔·卡明斯基；丹尼尔·泽特林 17 2010 关于无限字母表上双波自动机的注记。 Zbl 1200.03026号 迈克尔·卡明斯基；托尼·谭 2 2010 用下限扩展自由预群。 Zbl 1228.03013号 塔马尔·艾齐科维茨；尼西姆·弗朗西兹；丹尼尔·根金；迈克尔·卡明斯基 1 2010 无限字母表下推自动机中非确定性重排的威力。 Zbl 1241.68078号 尤利娅·杜波夫；迈克尔·卡明斯基 1 2009 无限字母表上的树自动机。 Zbl 1133.68364号 迈克尔·卡明斯基；托尼·谭 9 2008 连接文法和交替下推自动机。（扩展摘要）。 Zbl 1155.68413号 塔马尔·艾齐科维茨；迈克尔·卡明斯基 三 2008 交换增强的预分组文法和带取消的下推自动机。 Zbl 1160.68019号 尼西姆·弗朗西兹；迈克尔·卡明斯基 三 2008 默认情况下的相同概念及其在回指、模糊和不确定推理中的应用。 Zbl 1188.68275号 科恩，阿里尔；迈克尔·卡明斯基；约翰·马考斯基（Johann A.Makowsky）。 1 2008 一阶地面非单调模态逻辑。 Zbl 1148.03016号 本杰明·格林伯格；迈克尔·卡明斯基 1 2008 交换增强的预分组语法和温和的上下文敏感语言。 Zbl 1128.68045号 尼西姆·弗朗西兹；迈克尔·卡明斯基 7 2007 集群可分解克里普克解释的模态逻辑。 Zbl 1145.03010号 迈克尔·蒂姆金；迈克尔·卡明斯基 2 2007 某些相依随机变量的中心极限定理。 Zbl 1122.60026号 卡明斯基，M。 1 2007 无限字母表上语言的正则表达式。 Zbl 1096.68083号 迈克尔·卡明斯基；托尼·谭 8 2006 动作的时间逻辑中口吃下的不变性。 兹比尔1171.68549 迈克尔·卡明斯基 1 2006 有限域上的多项式乘法：从二次复杂性到直线复杂性。 兹比尔1130.68062 内德·H·比肖蒂。；迈克尔·卡明斯基 1 2006 默认情况下不可区分。 Zbl 1219.68148号 科恩，阿里尔；迈克尔·卡明斯基；约翰·马考斯基（Johann A.Makowsky）。 2 2005 玩具模型中的财富凝结和“腐败”。 Zbl 1372.91066号 D.约翰斯顿。；Z.伯达。；Jurkiewicz，J。；卡明斯基，M。；诺瓦克，M.A。；巴普，G。；我·扎赫德。 2 2005 有限域上多项式乘法复杂性的下限。 Zbl 1119.11071号 迈克尔·卡明斯基 1 2005 无限字母表上语言的正则表达式。 Zbl 1091.68545号 迈克尔·卡明斯基；托尼·谭 1 2004 无限字母表上确定性正则语言的代数特征。 Zbl 1059.68059号 尼西姆·弗朗西兹；迈克尔·卡明斯基 5 2003 动作时序逻辑的实时语义。 Zbl 1050.03014号 迈克尔·卡明斯基；亚里夫，耶尔 1 2003 动作的时间逻辑的表达能力。 Zbl 1011.03009号 阿卡迪·埃斯特林；迈克尔·卡明斯基 2 2002 重温自认知逻辑中的量化。 Zbl 1365.68406号 迈克尔·卡明斯基；雷伊，盖伊 1 2002 一阶非单调模态逻辑。 Zbl 0953.03021号 迈克尔·卡明斯基；雷伊，盖伊 2 2000 封闭域上的开放默认理论。 Zbl 0937.03037号 迈克尔·卡明斯基 2 1999 默认逻辑中的相似性保留。 Zbl 0928.03026号 雷切尔·本·埃利亚胡·佐哈里；尼西姆·弗朗西兹；迈克尔·卡明斯基 1 1999 无限字母表上的无上下文语言。 Zbl 0896.68088号 Edward Y.C.Cheng。；迈克尔·卡明斯基 15 1998 通过域闭合假设对开放缺省理论进行扩展。 Zbl 0901.68188号 迈克尔·卡明斯基；约翰·马考斯基（Johann A.Makowsky）。；迈克尔·蒂姆金 6 1998 直线上的最小控制间隔集。 兹伯利0896.68105 郑，S.-W。；卡明斯基，M。；扎克，S。 1 1998 关于逻辑程序的稳定模型语义的注记。 Zbl 0903.68175号 迈克尔·卡明斯基 4 1997 消除德雷公式。 Zbl 0885.03018号 迈克尔·卡明斯基 1 1997 二阶命题模态逻辑的表达能力。 Zbl 0895.03005号 迈克尔·卡明斯基；迈克尔·蒂姆金 13 1996 2-可交换随机变量的强大数定律。 Zbl 0855.60036号 北卡罗来纳州埃特马迪。；卡明斯基，M。 10 1996 公开违约理论的比较研究。 Zbl 1013.68555号 迈克尔·卡明斯基 8 1995 动作逻辑的语义分析。 Zbl 0815.03012号 迈克尔·蒂姆金；迈克尔·卡明斯基 1 1995 有限记忆自动机。 Zbl 0938.68711号 迈克尔·卡明斯基；尼西姆·弗朗西兹 94 1994 带有过去运算符的分支时间逻辑。 Zbl 0821.68055号 迈克尔·卡明斯基 1 1994 非单调逻辑中开放缺省理论的解释。 Zbl 0866.03016号 迈克尔·卡明斯基 1 1993 有限域上小次多项式乘法算法的分类。 兹比尔0769.11049 阿米尔·艾弗布赫；内德·H·比肖蒂。；迈克尔·卡明斯基 2 1992 有向图上的有限自动机。 Zbl 0749.68054号 迈克尔·卡明斯基；Shlomit S.品特。 1 1992 非单调默认模态逻辑。 Zbl 0799.68174号 迈克尔·蒂姆金；迈克尔·卡明斯基 6 1991 将默认系统嵌入到非单调逻辑中。 Zbl 0790.03025号 迈克尔·卡明斯基 4 1991 一个与Padé逼近行收敛有关的整数规划问题的求解。 Zbl 0738.65003号 迈克尔·卡明斯基；阿夫拉姆·西迪 1 1991 有限域上多项式的乘法。 Zbl 0701.11070号 内德·H·比肖蒂。；迈克尔·卡明斯基 2 1990 分支时间逻辑的有限路径和循环路径模型。 Zbl 0722.03026号 迈克尔·卡明斯基；迈克尔·蒂姆金 1 1990 有限域上多项式乘法的乘法复杂性。 Zbl 0677.12007号 迈克尔·卡明斯基；内德·H·比肖蒂。 6 1989 关于整数乘积和多项式乘积的概率验证的说明。 兹比尔0699.68068 迈克尔·卡明斯基 三 1989 矩阵和转置矩阵产品的附加要求。 Zbl 0653.65032号 迈克尔·卡明斯基；大卫·G·柯克帕特里克。；内德·H·比肖蒂。 8 1988 直觉命题逻辑的非标准连接词。 Zbl 0658.03005号 迈克尔·卡明斯基 6 1988 一种不依赖于环常数的多项式乘法算法。 Zbl 0648.13001号 迈克尔·卡明斯基 三 1988 分圆多项式和分圆数域中的单位。 Zbl 0634.12005号 迈克尔·卡明斯基 2 1988 常规语言的一种分类。 Zbl 0565.68076号 迈克尔·卡明斯基 11 1985 多项式乘法的下限。 Zbl 0607.94010号 迈克尔·卡明斯基 1 1985 所有引用的出版物 前5名被引用出版物 全部的 前5名306位作者引用 27 迈克尔·卡明斯基 12 尼西姆·弗朗西兹 10 亚历山大·奥霍金 7 托尼·谭 5 塔马尔·艾齐科维茨 5 米哈伊尔·巴拉什 5 沃伊切赫·巴斯科夫斯基 5 莱奥·埃克巴德 5 艾曼纽·菲利奥特 5 尼科斯·齐夫列科斯 4 奥利维·芬克尔 4 福尔克·豪尔 4 斯特凡·米利厄斯 4 Andrzej S.穆拉夫斯基。 4 皮埃尔·阿莱·雷尼尔 4 弘久世奇（Hiroyuki Seki） 4 Yoshiaki高田 4 沃尔夫冈·托马斯 4 多马戈·弗戈奇 三 拉杰夫·阿鲁尔 三 内德·H·比肖蒂。 三 奥利维尔·卡尔顿 三 皮耶保罗·德加诺 三 Stéphane P.德姆里。 三 曼弗雷德·德罗斯特 三 吉安·路易吉，法拉利 三 丹尼尔·根金 三 埃里克·卡尔托芬。 三 菲利普·克莱默 三 帕特里克·兰德威尔 三 萨沃米尔·拉索塔 三 阿马尔德夫·曼努埃尔 三 约书亚·莫尔曼 2 帕瓦内·巴巴里 2 巴托斯·贝德纳西克 2 贝内迪克特·布吕奇 2 米歇尔·卡迪尔哈克 2 索菲亚·卡塞尔 2 科恩，阿里尔 2 克里斯托弗·齐巴 2 西蒙·迪尔 2 弗朗西斯科·多尼尼。 2 达纳·菲斯曼 2 彼得·弗里茨 2 盖尔方德，迈克尔 2 彼得·霍夫曼 2 本特·琼森 2 阿伊拉特·哈利莫夫 2 巴托克·克林 2 德克斯特·C·科赞。 2 奥尔纳·库普弗曼 2 林哲 2 克里斯托夫·Löding 2 约翰·安德烈亚斯·马考斯基 2 康斯坦蒂诺斯·马穆拉斯 2 吉安卢卡·梅泽蒂 2 贾库布·米查利辛 2 安托万·莫特特 2 丹尼尔·纳尔迪 2 奥托普，简 2 维塔利·佩雷沃什奇科夫 2 多米尼克·佩林 2 卡琳·夸斯 2 穆昆德·拉戈塔曼 2 史蒂文·拉姆齐。 2 丹尼尔·罗克摩尔（Daniel N.Rockmore）。 2 里卡多·罗萨蒂 2 马蒂奥·桑马蒂诺 2 托马斯·施温蒂克 2 龙马仙达 2 大声呼喊，维克多 2 亚历山德拉·席尔瓦 2 克里斯托弗·斯宾拉斯 2 Steffen，伯恩哈德 2 西门托伦奇克 2 特鲁什琴斯基，米洛斯奥 2 海宁·乌尔巴特 2 Van den Bussche，简 2 玛格斯·维纳斯 2 彼得·兹比格涅（Piotr Zbigniew），维克佐雷克（Wieczorek） 2 斯特凡·沃尔特兰 1 Abreu Jünior，Joáo Carlos 1 沙乌尔·阿尔马戈 1 安德烈·阿诺德 1 乔恩·艾塔克（Jon M.Aytac）。 1 埃里克·巴赫 1 马塞洛·巴尔杜奇尼 1 圣菲芭蕾舞团 1 班杜卡拉，M.H。 1 安苏曼·班纳吉 1 马西莫·巴托莱蒂 1 弗朗西斯科·贝拉迪内利 1 瓦利德·贝尔基尔 1 迈克尔·伯恩雷特 1 Clément伯特兰 1 阿什温·巴斯卡 1 阿比什赫·布鲁尚迪 1 米查·比莱基 1 亨利克·比约克隆德 1 尼古拉·S·比约纳。 …还有206位作者 全部的 前5名47篇连载文章被引用 28 理论计算机科学 10 计算机与系统科学杂志 10 国际计算机科学基础杂志 9 计算机科学中的逻辑方法 8 人工智能 8 Studia Logica公司 7 哲学逻辑杂志 7 信息与计算 6 计算系统理论 5 信息学报 5 数学与人工智能年鉴 4 信息处理信件 4 符号计算杂志 4 系统设计中的形式化方法 三 线性代数及应用 三 逻辑、语言与信息杂志 三 计算机基础理论 三 符号逻辑述评 2 符号逻辑杂志 2 圣母院形式逻辑杂志 2 MSCS公司。计算机科学中的数学结构 2 计算复杂性 2 符号逻辑公报 2 泛逻辑 1 代数通讯 1 以色列数学杂志 1 俄罗斯数学调查 1 计算数学 1 合成 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 国际代数与计算杂志 1 实验数学 1 应用非经典逻辑杂志 1 数学逻辑季刊（MLQ） 1 有限域及其应用 1 埃尔肯特尼斯 1 国际不确定性、模糊性和基于知识的系统杂志 1 逻辑与逻辑哲学 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 计算语言学 1 国际数论杂志 1 算法 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名18个领域被引用 182 计算机科学（68至XX） 80 数理逻辑与基础（03-XX） 11 数论（11-XX） 6 场论与多项式（12-XX） 5 数值分析（65-XX） 三 组合数学（05-XX） 三 交换代数（13-XX） 三 代数几何（14-XX） 三 群论与推广（20-XX） 三 信息与通信理论、电路（94-XX） 2 阶、格、有序代数结构（06-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 1 范畴理论；同调代数（18-XX） 1 动力系统和遍历理论（37至XX） 1 抽象谐波分析（43至XX） 1 几何图形（51至XX） 1 一般拓扑结构（54至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文