编辑配置文件（在新选项卡中打开） 马克·贝泽姆 合著者距离 作者ID： 贝塞姆圆弧 发布日期： 马克·贝泽姆 其他拼写： 马库斯·阿洛伊修斯·贝泽姆 主页： 网址：http://www.ii.uib.no/~贝塞姆/ 外部链接： MGP公司·ResearchGate研究之门 已编制索引的文档： 56出版物自1985年起 5作为编辑的贡献·2进一步捐款 合著者： 40位合著者具有45联合出版物 743联合作者 全部的 前5名合著者 13 单作者的 14 可口、蒂埃里 5 罗伯特·纽文胡斯 三 迪米特里·亨德里克斯 三 恩里克·罗德里格斯-卡博内尔 三 米查·瓦利基 2 Krzysztof Rafal公寓 2 斯特凡诺·贝拉尔迪 2 乌尔里克·巴赫霍尔茨 2 汉斯·德·尼维尔 2 彼得·戴比杰 2 丹尼尔·理查德·格雷森 2 Jan Friso，格鲁特 2 Hötzel Escardó，马汀 2 西蒙·胡贝尔 2 扬·威廉·克鲁普 2 托尔·兰霍姆 2 阿西亚·马布比 2 Michael A.舒尔曼。 1 彼得·阿策尔 1 阿伦斯，贝内迪克特 1 法比奥·阿莱西 1 托尔斯滕·阿滕柯奇 1 卡洛·安吉利 1 罗伯托·阿斯因 1 杰里米·阿维加德 1 史蒂夫·阿沃迪 1 拉吉夫·巴盖 1 亨德里克·彼得·巴伦德雷格特 1 埃里克·巴伦森 1 布鲁诺·巴拉斯 1 安德烈·鲍尔 1 伊夫·贝托特 1 罗兰·博尔。 1 安东尼·博尔吉 1 纪尧姆·布鲁内里 1 费利斯·卡多内 1 科恩，西里尔 1 罗伯特·李，警察 1 马里奥·科普 1 皮埃尔·卢伊斯·居里 1 罗德·德弗里杰尔 1 Wil J.M.德克斯。 1 马里亚纽拉州Dezani-Ciancaglini 1 Gilles Dowek 1 埃里克·芬斯特 1 甘比诺，尼古拉 1 理查德·加纳 1 西尔维娅·吉勒赞 1 乔治·戈蒂尔 1 克莱门斯，抓斗手 1 托马斯·卡利斯特·黑尔斯 1 罗伯特·哈珀 1 雨果·赫贝林 1 马丁·霍夫曼 1 彼得·霍夫斯特拉（Pieter J.W.Hofstra）。 1 Furio Honsell 1 Hou（Favonia）、Kuen-Bang 1 达格·霍夫兰 1 贾尼契奇，普雷德拉格 1 安德烈·乔亚尔 1 克日什托夫·卡普尔金 1 简·基赞坎普 1 约阿希姆·科克 1 尼古拉·克劳斯 1 李诺 1 丹·利卡塔 1 彼得·勒法努·卢姆斯代恩 1 罗朝晖 1 马丁·洛夫（Martin-Löf，Per） 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 迈克尔·穆尔特加特 1 迈克尔·纳哈斯 1 中田庆子 1 朱利安·纳布克斯 1 埃里克·帕尔姆格伦 1 埃里克·帕尔曼 1 阿尔瓦罗·佩莱奥 1 安德鲁·波伦斯基 1 阿尔班·蓬塞 1 艾米丽·里尔 1 埃格伯特·里杰克 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 保拉·加布里埃拉·塞维利 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 索索、马蒂厄 1 溅出物，Bas 1 斯普林菲尔德，一月 1 理查德·斯塔特曼 1 萨那斯托亚诺维奇 1 Wojtek Szajnknig 1 1 巴威·乌尔兹琴 1 塔尔莫乌斯塔卢 1 德克·范·达伦 1 本诺·范登伯格 1 范·埃姆登（Maarten H.van Emden）。 1 范·列文（Jan Van Leeuwen） 1 文森特·范·奥斯特罗姆 ……还有4位合著者 全部的 前5名系列 5 理论计算机科学 4 符号逻辑杂志 三 自动推理杂志 2 信息处理信件 2 纯逻辑与应用逻辑年鉴 2 计算机基础理论 2 计算机科学课堂讲稿 2 LIPIcs–莱布尼茨国际信息学会议录 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 离散应用数学 1 伦敦数学学会杂志。第二系列 1 纯粹与应用代数杂志 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 逻辑程序设计杂志 1 新一代计算 1 信息与计算 1 CWI季度 1 计算的形式方面 1 AI通信 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 逻辑、语言与信息杂志 1 函数编程杂志 1 欧洲理论计算机科学协会公报 1 语法 1 剑桥理论计算机科学丛书 1 计算机科学中的逻辑方法 1 逻辑观点 全部的 前5名领域 40 数学逻辑和基础（03-XX） 37 计算机科学（68至XX） 6 范畴理论；同调代数（18-XX） 5 代数拓扑（55-XX） 4 总体主题；集合（00-XX） 2 运筹学、数学规划（90-XX） 1 组合数学（05-XX） 1 有序，格，有序代数结构（06-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 50出版物有被引用602次527文件 引用人▼ 年份▼ 特雷斯。术语重写系统。 Zbl 1030.68053号 247 2003 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 立方体集合中的类型理论模型。 Zbl 1359.03009号 马克·贝泽姆;可口、蒂埃里;西蒙·胡贝尔 62 2014 具有类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani-Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。 Zbl 1347.03001号 Barendregt，Henk（亨克，巴伦德雷特）;威尔·德克尔斯;理查德·斯塔特曼 55 2013 有限型强可控制泛函：包含间断泛函的桶循环模型。 Zbl 0578.03030号 马克·贝泽姆 44 1985 关于选择公理的计算内容。 Zbl 0914.03059号 斯特凡诺·贝拉尔迪;马克·贝泽姆;可口、蒂埃里 28 1998 非周期项目。 Zbl 0744.68034号 阿普特，克日什托夫R。;马克·贝泽姆 24 1991 自动化连贯逻辑。 兹比尔1143.03332 马克·贝泽姆;可口、蒂埃里 18 2005 逻辑程序的强终止。 Zbl 0787.68016号 马克·贝泽姆 14 1993 极大代数、控制理论、超图等领域的难题。 Zbl 1206.68284号 马克·贝泽姆;罗伯特·纽文胡斯;恩里克·罗德里格斯-卡博内尔 12 2010 最大原子问题及其相关性。 Zbl 1182.68219号 马克·贝泽姆;罗伯特·纽文胡斯;恩里克·罗德里格斯-卡博内尔 11 2008 论相干逻辑中海森堡定理证明的机械化。 Zbl 1140.03004号 马克·贝泽姆;迪米特里·亨德里克斯 11 2008 使用分辨率的类型理论中的自动证明构造。 Zbl 1015.03018号 马克·贝泽姆;迪米特里·亨德里克斯;汉斯·德·尼维尔 9 2002 拉姆齐定理和直觉数学中的鸽子洞原理。 Zbl 0729.03034号 维姆·维尔德曼;马克·贝泽姆 9 1993 立方体集合中的单价公理。 Zbl 1506.03064号 马克·贝泽姆;可口、蒂埃里;西蒙·胡贝尔 8 2019 求解极大代数中双边线性系统的Butkovič-Zimermann算法的指数行为。 Zbl 1178.68637号 马克·贝泽姆;罗伯特·纽文胡斯;恩里克·罗德里格斯-卡博内尔 8 2008 有向图可解性的表示能力。 Zbl 1241.03007号 马克·贝泽姆;克莱门斯，抓斗手;米查·瓦利基 8 2012 一种改进的高阶逻辑程序扩展性准则。 Zbl 0999.68035号 马克·贝泽姆 7 2001 合流图技巧。 Zbl 0919.68077号 马克·贝泽姆;扬·威廉·克鲁普;文森特·范·奥斯特罗姆 7 1998 单形集的克里普克模型。 Zbl 1350.18020号 马克·贝泽姆;可口、蒂埃里 7 2015 Kan单形集的非构造性。 Zbl 1433.03154号 马克·贝泽姆;可口、蒂埃里;埃里克·帕尔曼 7 2015 连贯逻辑的方言。 兹比尔1304.68163 萨那斯托亚诺维奇;朱利安·纳布克斯;马克·贝泽姆;贾尼契奇，普雷德拉格 6 2014 已键入lambda结石和应用程序。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。 Zbl 0866.00038号 5 1993 斯科利姆机器和几何逻辑。 Zbl 1147.68696号 约翰·费希尔;马克·贝泽姆 5 2007 纽曼引理——证明自动化和几何逻辑的案例研究。 Zbl 1169.03324号 马克·贝泽姆;可口、蒂埃里 4 2003 在有限的红色溪流上。 兹比尔1267.03058 马克·贝泽姆;中田庆子;塔尔莫乌斯塔卢 4 2012 居住在\（\lambda P\）中不可判定性的简单证明。 Zbl 0872.68035号 马克·贝泽姆;斯普林菲尔德，一月 三 1996 计算机科学逻辑。第十届国际研讨会，CSL’96。EACSL年会，荷兰乌得勒支。1996年9月21日至27日。精选论文。 Zbl 0868.00033号 三 1997 纽曼引理——证明自动化和几何逻辑的案例研究。 Zbl 1063.68089号 马克·贝泽姆;可口、蒂埃里 三 2004 在存在显式释放的情况下查找资源边界。 Zbl 1169.68371号 黄忠;马克·贝泽姆 2 2005 论相干逻辑的不可判定性。 兹比尔1171.03327 马克·贝泽姆 2 2005 队列的两个有限规范。 Zbl 0911.68010号 马克·贝泽姆;阿尔班·蓬塞 2 1997 无需使用无限项的barercursive项的强规范化。 Zbl 0603.03017号 马克·贝泽姆 2 1985 甚至线性语言的描述性特征。 Zbl 1055.68073号 托尔·兰霍姆;马克·贝泽姆 2 2003 使用分辨率的类型理论中的自动证明构造。 Zbl 0963.03010号 马克·贝泽姆;迪米特里·亨德里克斯;汉斯·德·尼维尔 2 2000 用于计算软件组件实例的类型系统。 Zbl 1252.68201号 马克·贝泽姆;达格·霍夫兰;黄忠 2 2012 连贯逻辑的句法强制模型。 Zbl 1437.03188号 马克·贝泽姆;乌尔里克·巴赫霍尔茨;可口、蒂埃里 1 2018 公式作为程序。 Zbl 0945.68024号 阿普特，克日什托夫R。;马克·贝泽姆 1 1999 斯科利姆机器。 Zbl 1193.68108号 约翰·费希尔;马克·贝泽姆 1 2009 简单类型结构的多态扩张。应用于棒递归最小化。 Zbl 0862.03004号 埃里克·巴伦森;马克·贝泽姆 1 1996 对选择公理的否定解释的实现。 Zbl 1063.03537号 斯特凡诺·贝拉尔迪;马克·贝泽姆;可口、蒂埃里 1 1995 HEO和（HRO^E）、ECF和（ICF^E）之间的同构。 Zbl 0578.03029号 马克·贝泽姆 1 1985 序列逻辑中的完整性和可判定性。 Zbl 1137.03311号 马克·贝泽姆;托尔·兰霍姆;米查·瓦利基 1 2007 逻辑编程和PROLOG。 Zbl 0658.68109号 马克·贝泽姆 1 1988 基于规则的专家系统的一致性。 Zbl 0661.68091号 马克·贝泽姆 1 1988 有限型泛函理论中杆递归的等价性。 Zbl 0665.03042号 马克·贝泽姆 1 1988 计算机科学逻辑（CSL’11）。第25次国际研讨会，EACSL第20届年会，2011年9月12-15日，挪威卑尔根。 Zbl 1237.68014号 1 2011 相干逻辑中的斯科利姆定理。 Zbl 1458.03047号 马克·贝泽姆;可口、蒂埃里 1 2019 关于逻辑程序的向下闭包序数。 Zbl 0699.68104号 拉吉夫·巴盖;马克·贝泽姆;范·埃姆登，M.H。 1 1990 重新审查决议的完整性。 Zbl 0701.68085号 马克·贝泽姆 1 1990 立方体集合中的单价公理。 Zbl 1506.03064号 马克·贝泽姆;可口、蒂埃里;西蒙·胡贝尔 8 2019 相干逻辑中的斯科利姆定理。 Zbl 1458.03047号 马克·贝泽姆;可口、蒂埃里 1 2019 连贯逻辑的句法强制模型。 兹比尔1437.03188 马克·贝泽姆;乌尔里克·巴赫霍尔茨;可口、蒂埃里 1 2018 单形集的克里普克模型。 Zbl 1350.18020号 马克·贝泽姆;可口、蒂埃里 7 2015 Kan单形集的非构造性。 Zbl 1433.03154号 马克·贝泽姆;可口、蒂埃里;埃里克·帕尔曼 7 2015 立方体集合中的类型理论模型。 Zbl 1359.03009号 马克·贝泽姆;可口、蒂埃里;西蒙·胡贝尔 62 2014 连贯逻辑的一种方言。 Zbl 1304.68163号 萨那斯托亚诺维奇;朱利安·纳布克斯;马克·贝泽姆;贾尼契奇，普雷德拉格 6 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 具有类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani-Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。 Zbl 1347.03001号 亨克·巴伦德雷格特;威尔·德克尔斯;理查德·斯塔特曼 55 2013 有向图可解性的表示能力。 Zbl 1241.03007号 马克·贝泽姆;克莱门斯，抓斗手;米查·瓦利基 8 2012 在有限的红色溪流上。 Zbl 1267.03058号 马克·贝泽姆;中田庆子;塔尔莫乌斯塔卢 4 2012 用于计算软件组件实例的类型系统。 Zbl 1252.68201号 马克·贝泽姆;达格·霍夫兰;Truong，黄光裕 2 2012 计算机科学逻辑（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。 Zbl 1237.68014号 1 2011 极大代数、控制理论、超图等领域的难题。 Zbl 1206.68284号 马克·贝泽姆;罗伯特·纽文胡斯;恩里克·罗德里格斯-卡博内尔 12 2010 斯科利姆机器。 Zbl 1193.68108号 约翰·费希尔;马克·贝泽姆 1 2009 最大原子问题及其相关性。 Zbl 1182.68219号 马克·贝泽姆;罗伯特·纽文胡斯;恩里克·罗德里格斯-卡博内尔 11 2008 论相干逻辑中海森堡定理证明的机械化。 Zbl 1140.03004号 马克·贝泽姆;迪米特里·亨德里克斯 11 2008 求解极大代数中双边线性系统的Butkovič-Zimmermann算法的指数行为。 Zbl 1178.68637号 马克·贝泽姆;罗伯特·纽文胡斯;恩里克·罗德里格斯-卡博内尔 8 2008 Skolem机器和几何逻辑。 Zbl 1147.68696号 约翰·费希尔;马克·贝泽姆 5 2007 序列逻辑中的完整性和可判定性。 Zbl 1137.03311号 马克·贝泽姆;托尔·兰霍姆;米查·瓦利基 1 2007 自动化连贯逻辑。 Zbl 1143.03332号 马克·贝泽姆;可口、蒂埃里 18 2005 在存在显式解除分配的情况下查找资源边界。 Zbl 1169.68371号 黄忠;马克·贝泽姆 2 2005 论相干逻辑的不可判定性。 Zbl 1171.03327号 马克·贝泽姆 2 2005 纽曼引理——证明自动化和几何逻辑的案例研究。 Zbl 1063.68089号 马克·贝泽姆;可口、蒂埃里 三 2004 特雷斯。术语重写系统。 Zbl 1030.68053号 247 2003 纽曼引理——证明自动化和几何逻辑的案例研究。 Zbl 1169.03324号 马克·贝泽姆;可口、蒂埃里 4 2003 甚至线性语言的描述性特征。 Zbl 1055.68073号 托尔·兰霍姆;马克·贝泽姆 2 2003 使用分辨率的类型理论中的自动证明构造。 Zbl 1015.03018号 马克·贝泽姆;迪米特里·亨德里克斯;汉斯·德·尼维尔 9 2002 一种改进的高阶逻辑程序扩展性准则。 兹比尔0999.68035 马克·贝泽姆 7 2001 使用分辨率的类型理论中的自动证明构造。 Zbl 0963.03010号 马克·贝泽姆;迪米特里·亨德里克斯;汉斯·德·尼维尔 2 2000 公式作为程序。 Zbl 0945.68024号 阿普特，克日什托夫R。;马克·贝泽姆 1 1999 关于选择公理的计算内容。 Zbl 0914.03059号 斯特凡诺·贝拉尔迪;马克·贝泽姆;可口、蒂埃里 28 1998 合流图技巧。 Zbl 0919.68077号 马克·贝泽姆;扬·威廉·克鲁普;文森特·范·奥斯特罗姆 7 1998 计算机科学逻辑。第十届国际研讨会，CSL’96。EACSL年会，荷兰乌得勒支。1996年9月21日至27日。精选论文。 Zbl 0868.00033号 三 1997 队列的两个有限规范。 兹比尔0911.68010 马克·贝泽姆;阿尔班·蓬塞 2 1997 居住在\（\lambda P\）中不可判定性的简单证明。 Zbl 0872.68035号 马克·贝泽姆;斯普林菲尔德，一月 三 1996 简单类型结构的多态扩张。应用于棒递归最小化。 Zbl 0862.03004号 埃里克·巴伦森;马克·贝泽姆 1 1996 实现了对选择公理的否定解释。 兹比尔1063.03537 斯特凡诺·贝拉尔迪;马克·贝泽姆;可口、蒂埃里 1 1995 逻辑程序的强终止。 Zbl 0787.68016号 马克·贝泽姆 14 1993 拉姆齐定理和直觉数学中的鸽子洞原理。 Zbl 0729.03034号 维姆·维尔德曼;马克·贝泽姆 9 1993 已键入lambda结石和应用程序。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。 Zbl 0866.00038号 5 1993 非周期项目。 Zbl 0744.68034号 阿普特，克日什托夫R。;马克·贝泽姆 24 1991 关于逻辑程序的向下闭包序数。 Zbl 0699.68104号 拉吉夫·巴盖;马克·贝泽姆;范·埃姆登，M.H。 1 1990 重新审查决议的完整性。 Zbl 0701.68085号 马克·贝泽姆 1 1990 逻辑编程和PROLOG。 Zbl 0658.68109号 马克·贝泽姆 1 1988 基于规则的专家系统的一致性。 Zbl 0661.68091号 马克·贝泽姆 1 1988 有限型泛函理论中杆递归的等价性。 Zbl 0665.03042号 马克·贝泽姆 1 1988 有限型强可控制泛函：包含间断泛函的桶循环模型。 Zbl 0578.03030号 马克·贝泽姆 44 1985 无需使用无限项的barercursive项的强规范化。 Zbl 0603.03017号 马克·贝泽姆 2 1985 HEO和（HRO^E）、ECF和（ICF^E）之间的同构。 Zbl 0578.03029号 马克·贝泽姆 1 1985 所有引用出版物 前5名被引用出版物 全部的 前5名576位作者引用 16 圣地亚哥埃斯科瓦尔 16 何塞·梅塞盖尔·瓜伊塔 14 马克·贝泽姆 14 约尔格恩德鲁利斯 13 玛丽亚·阿尔普特 13 可口、蒂埃里 13 扬·威廉·克鲁普 13 乌尔里希·威廉·科伦巴赫 12 文森特·范·奥斯特罗姆 11 萨尔瓦多卢卡斯 11 保罗·奥利瓦 10 阿尔特·米德尔多普 7 圣埃芬·高伯特 7 迪米特里·亨德里克斯 7 直纪西田 7 朱莉娅·萨皮娜 6 塞尔吉奥·安托伊 6 巴利斯，德米斯 6 Nao Hirokawa 6 贾尼契奇，普雷德拉格 6 乔治·莫瑟 6 朱利安·纳布克斯 6 汉斯·赞特马 5 泽维尔·阿拉米吉恩 5 卡洛·安吉利 5 库卡斯·扎伊卡 5 布鲁诺·迪尼斯 5 德拉本特，Włodzimierz 5 简·赫尔曼·杰弗斯 5 罗伯特·哈珀 5 Hötzel Escardó，马汀 5 西蒙·胡贝尔 5 何塞·伊波拉 5 丹尼尔·李卡塔（Daniel R.Licata）。 5 菲利普·马尔博斯 5 伊恩，奥尔顿 5 安德鲁·皮特斯（Andrew M.Pitts）。 5 克里斯蒂安·萨特勒 5 雅各布·格鲁·西蒙森 5 艾奥娜·西梅尼杜 5 德国维达尔 5 米查·瓦利基 4 毛里西奥·阿亚拉·林科恩 4 弗雷德里克·布兰基 4 曼纽尔·博迪尔斯基 4 克劳迪娅·法根 4 费尔南多·费雷拉 4 弗朗西斯科·弗雷奇纳 4 尼尔·加尼 4 埃里克·古堡 4 克莱门斯，抓斗手 4 迪莉娅·凯斯纳 4 杰罗·凯特马 4 弗雷德里克·诺德瓦尔·福斯伯格 4 费德里科·奥尔萨尼戈 4 劳伦斯·查尔斯·保尔森 4 佩德罗·平托 4 亚历杭德罗·雷奥斯 4 瓦格伏尔盖，桑多尔 4 莎拉·温克勒 三 高仁青藤 三 Jan A.Bergstra。 三 贾斯敏·克里斯蒂安·布兰切特 三 乌尔里克·巴赫霍尔茨 三 彼得·布特科维奇 三 汉斯·德·尼维尔 三 罗德·德弗里杰尔 三 纳胡姆德肖维茨 三 弗朗西斯科·杜兰 三 罗伊·戴克霍夫 三 甘比诺，尼古拉 三 高，兴 三 萨缪尔·吉拉乌多 三 伯恩哈德·格拉姆利希 三 德米特里·格里戈列夫 三 塞萨尔·埃尔南德斯·克鲁斯 三 达格·霍夫兰 三 杰·巴里 三 Jean-Pierre Jouannaud 三 卡茨，里卡多·大卫 三 赫莱内·基什内尔 三 叶卡捷琳娜·科门丹茨卡亚 三 Jean-Louis Krivine 三 伊芙琳娜·拉姆 三 Leuştean，Laurenţiu 三 伦巴第，亨利 三 巴斯·卢提克 三 马塞洛·马米诺 三 马丁·奥列特，纳西索 三 塞缪尔·米姆拉姆 三 安德斯·莫特伯格 三 Overbeek，罗伊 三 阿尔贝托·佩特罗西 三 法布里齐奥·里古齐 三 帕诺斯·朗多吉安尼 三 克里斯蒂安·斯特纳格尔 三 乔治·斯特鲁斯 三 塔尔莫乌斯塔卢 三 尼科洛·维尔特里 三 阿尔贝托·维尔德乔 …还有476位作者 全部的 前5名85篇连载文章中引用 55 理论计算机科学 37 MSCS公司。计算机科学中的数学结构 29 信息与计算 26 纯逻辑与应用逻辑年鉴 22 计算机科学中的逻辑方法 17 自动推理杂志 14 程序设计中的逻辑和代数方法杂志 9 数学逻辑季刊（MLQ） 8 符号计算杂志 8 数学与人工智能年鉴 8 逻辑程序设计理论与实践 7 符号逻辑杂志 6 信息处理信件 6 函数编程杂志 5 计算的形式方面 5 数学逻辑档案 5 逻辑与代数程序设计杂志 4 机器学习 4 符号逻辑述评 三 信息学报 三 人工智能 三 离散数学 三 数学进展 三 代数杂志 三 合成 三 线性代数及应用 三 Indagationes Mathematicae公司。新系列 2 最优化理论与应用杂志 2 圣母院形式逻辑杂志 2 美国数学学会会刊 2 新一代计算 2 国际代数与计算杂志 2 工程、通信和计算中的应用代数 2 计算复杂性 2 逻辑、语言与信息杂志 2 范畴的理论与应用 2 伦敦皇家学会会刊。系列A.数学、物理和工程科学 2 高阶和符号计算 2 应用逻辑杂志 2 高层建筑 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 代数通讯 1 离散应用数学 1 德国数学实验室（DMV） 1 俄罗斯数学调查 1 巴洛克大学学报。山楂（Facultas Rerum Naturalium）。数学软件 1 代数普遍性 1 模糊集与系统 1 数学出版物 1 计算机与系统科学杂志 1 伦敦数学学会杂志。第二系列 1 哲学逻辑杂志 1 纯粹与应用代数杂志 1 数值泛函分析与优化 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 Studia Logica公司 1 离散和计算几何 1 国际近似推理杂志 1 SIAM矩阵分析与应用杂志 1 计算几何 1 SIAM审查 1 美国数学学会公报。新系列 1 分布式计算 1 控制论与系统分析 1 应用非经典逻辑杂志 1 圣彼得堡数学杂志 1 凸分析杂志 1 符号逻辑公报 1 联合国证券交易所 1 计算系统理论 1 组合年刊 1 离散数学和理论计算机科学。DMTCS公司 1 LMS计算与数学杂志 1 当代数学传播 1 澳大利亚数学学会杂志 1 葡萄牙数学。Nova Série公司 1 自然计算 1 ACM计算逻辑事务 1 代数杂志及其应用 1 Oberwolfach报告 1 计算机科学中的数学 1 泛逻辑 1 亚欧数学杂志 1 SIAM应用代数和几何杂志 1 代数组合论 全部的 前5名35个领域被引用 361 计算机科学（68至XX） 257 数学逻辑和基础（03-XX） 45 范畴理论；同调代数（18-XX） 35 代数拓扑（55-XX） 15 组合数学（05-XX） 13 博弈论、经济学、金融和其他社会和行为科学（91-XX） 12 线性代数和多线性代数；矩阵理论（15-XX） 11 算子理论（47-XX） 10 有序，格，有序代数结构（06-XX） 10 代数几何（14-XX） 10 结合环与代数（16-XX） 9 运筹学、数学规划（90-XX） 8 一般代数系统（08-XX） 8 群论与推广（20-XX） 7 信息与通信理论、电路（94-XX） 5 交换代数（13-XX） 4 几何图形（51至XX） 4 一般拓扑结构（54至XX） 三 总体主题；集合（00-XX） 三 功能分析（46倍X倍） 三 凸和离散几何（52-XX） 2 历史和传记（01-XX） 2 数值分析（65-XX） 1 数论（11-XX） 1 场论和多项式（12-XX） 1 非结合环和代数（17-XX） 1 测量和集成（28-XX） 1 动力系统和遍历理论（37至XX） 1 差分方程和函数方程（39至XX） 1 序列、级数、可和性（40-XX） 1 流形和细胞复合体（57至XX） 1 量子理论（81-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 1 数学教育（97-XX） 按年份列出的引文