ACM计算逻辑事务 简短标题： ACM事务处理。计算。日志。 出版商： 纽约州纽约市计算机协会（ACM） 国际标准编号： 1529-3785年；1557-945倍/秒 在线： https://dl.acm.org/loi/tocl 评论： 期刊；索引封面到封面 已编制索引的文档： 662出版物（自2000年起） 索引的引用： 181出版物参考文献7184。 全部的 前5名最新问题 25，编号2（2024） 25，编号1（2024） 24，编号4（2023） 24，编号3（2023） 24，编号2（2023） 24，编号1（2023） 23，编号4（2022） 23，第3期（2022） 23，编号2（2022） 23，编号1（2021） 22，编号4（2021） 22，编号3（2021） 21，第4期（2020年） 21，第3期（2020年） 21，第2期（2020年） 21，第1期（2020年） 20，第4号（2019） 20，第3号（2019） 202019年第2期 202019年第1期 19，第4号（2018） 19，第3号（2018） 19，第2号（2018） 192018年第1期 182017年第4号 182017年第3号 182017年第2期 18，第1号（2017） 17，第4号（2016） 172016年第3号 17，第2号（2016） 172015年第1期 162015年第4号 162015年第3期 162015年第2期 162015年第1期 152014年第4号 152014年第3期 152014年第2期 152014年第1期 142013年第4号 142013年第3期 142013年第2期 142013年第1期 132012年第4号 132012年第3期 132012年第2期 132012年第1期 122011年第4号 122011年第3期 12，第2号（2011年） 122010年第1期 112010年第4期 112010年第3期 112010年第2期 112009年第1期 102009年第4期 102009年第3期 102009年第2期 102009年第1期 92008年第4号 9，第3号（2008年） 92008年第2期 92007年第1期 82007年第4号 8，第3号（2007年） 82007年第2期 82007年第1期 72006年第4号 72006年第3期 72006年第2期 72006年第1期 62005年第4号 62005年第3期 62005年第2期 62005年第1期 52004年第4期 5，第3号（2004年） 52004年第2期 52004年第1期 4，第4号（2003） 42003年第3期 42003年第2期 4，第1期（2003） 三，第4号（2002年） 三，第3期（2002年） 三2002年第2期 三，第1号（2002年） 22001年第4号 2，第3号（2001） 22001年第2期 22001年第1期 12000年第2期 12000年第1期 全部的 前5名作者 11 奥尔纳·库普弗曼 10 尤里·古里维奇 9 托马斯·艾特 8 Michael A.Benedikt。 8 安德烈亚斯·拉斐尔·布拉斯 8 苏布拉曼尼亚，V.S。 7 托马斯·亨辛格（Thomas A.Henzinger）。 7 法兰克·奈文 6 克里希南德·查特吉 6 马克·德内克 6 乔治·戈特洛布 6 马西莫·劳里亚 6 兰科·拉齐奇 6 保罗·利伯拉托雷 6 斯泽德，斯特凡 5 阿尔伯特·阿塞里亚斯 5 奥拉夫·拜尔斯多夫 5 西尔维奥·吉拉尔迪 5 埃里希·格拉德尔 5 阿莱西奥·古列尔米 5 Leonid O·利金。 5 阿尼埃洛·穆拉诺 5 尼古拉·奥利维蒂 5 亚历山德拉·帕尔米吉亚诺 5 托马斯·施温蒂克 5 奥利维尔·塞雷 5 阿文·费南托（Alwen Fernanto Tiu） 5 赫里贝特·沃尔默 5 迈克尔·维克托洛维奇（Michael Viktorovich） 4 曼纽尔·博迪尔斯基 4 Randal E.布莱恩特。 4 Samuel R.巴斯。 4 Carayol，阿诺 4 阿加塔·西阿巴托尼 4 维罗尼克·科尔蒂尔 4 纳迪亚·克里诺 4 Stéphane P.德姆里。 4 冯、袁 4 毛罗·法拉利 4 佛罗伦萨，卡米洛 4 萨米尔·根奈姆 4 瓦伦丁·F·戈兰科。 4 马丁·格罗 4 Joseph Yehuda Halpern 4 朱哈·科廷宁 4 林方珍 4 阿恩·梅尔 4 斯特凡·米利厄斯 4 法比奥·莫加维罗 4 安德烈·穆拉夫斯基。 4 弗兰克·芬宁 4 Jean-François拉斯金 4 卢克·塞古芬 4 杰拉尔多·西马里一世。 4 乔治·斯特鲁斯 4 托尼·谭 4 汉斯·托姆皮茨 4 王克文 4 弗兰克·沃尔特 4 斯特凡·沃尔特兰 4 英明生 三 艾尔维拉·阿尔伯特 三 拉杰夫·阿鲁尔 三 格里戈里斯·安东尼奥 三 亚历山德罗·阿塔尔 三 阿诺德·贝克曼 三 劳拉·博泽利 三 罗希特·查达 三 阿努吉·达瓦尔 三 斯特凡尼德劳恩 三 尤尔根·迪克斯 三 克莱尔·狄克逊 三 阿诺·杜兰德 三 吉多·菲奥里诺 三 威廉·扬·福克金 三 毛里齐奥·加布里埃利 三 尼古拉·加莱西 三 朱塞佩·格雷科 三 Heule，Marijn J.H。 三 罗伯特·马克·海伦斯 三 乌尔里希Hustadt 三 Jeroen J.A.Keiren。 三 马里兰州阿基尔汗 三 伊曼纽尔·基伦斯基 三 费利克斯·克莱特克 三 德克斯特·C·科赞。 三 斯蒂芬·克鲁泽 三 Marta Z.Kwiatkowska。 三 奥里·拉哈夫 三 尼古拉·利昂 三 邱恩·荣·廖 三 托马斯·卢卡西维奇 三 卡斯滕·卢茨 三 米纳·马哈扬 三 Jean-Yves玛丽恩 三 巴纳比·D·马丁。 三 西蒙·马提尼 三 巴斯蒂安·莫伯特 三 菲利普·马佐维耶基 三 Maria Chiara Meo女士 …还有1057名作者 全部的 前5名领域 553 计算机科学（68至XX） 422 数学逻辑和基础（03-XX） 25 博弈论、经济学、金融和其他社会和行为科学（91-XX） 20 组合数学（05-XX） 13 信息与通信理论、电路（94-XX） 10 范畴理论；同调代数（18-XX） 8 阶、格、有序代数结构（06-XX） 7 代数拓扑（55-XX） 7 运筹学、数学规划（90-XX） 6 一般代数系统（08-XX） 5 总体主题；集合（00-XX） 5 概率论与随机过程（60-XX） 4 数论（11-XX） 4 量子理论（81-XX） 2 生物学和其他自然科学（92-XX） 1 群论与推广（20-XX） 1 一般拓扑结构（54至XX） 1 数值分析（65-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 531出版物有被引用4404中的次3426文件 引用人▼ 年份▼ 用于知识表示和推理的DLV系统。 兹比尔1367.68308 尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·法伯;托马斯·艾特;乔治·戈特洛布;西蒙娜·佩里;弗朗西斯科·斯卡切罗 165 2006 强等效逻辑程序。 Zbl 1365.68149号 弗拉基米尔·利夫希茨;大卫·皮尔斯;阿古斯汀·瓦尔弗德 138 2001 带域的Kleene代数。 Zbl 1367.68205号 朱尔斯·德沙奈斯;伯恩哈德·莫勒;乔治·斯特鲁斯 73 2006 带有冻结量词和寄存器自动机的LTL。 Zbl 1351.68158号 斯特凡·德姆里;兰科·拉齐奇 70 2009 无限字母字符串的有限状态机。 Zbl 1367.68175号 法兰克·奈文;托马斯·施温蒂克;维克托·维亚努 65 2004 顺序抽象状态机捕获顺序算法。 Zbl 1365.68258号 尤里·古里维奇 59 2000 模型检查连续时间马尔可夫链。 兹比尔1365.68313 阿德南·阿齐兹;库穆德·桑瓦尔;Vigyan Singhal公司;罗伯特·布雷顿 56 2000 定量语言。 Zbl 1351.68155号 克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格（Thomas A.Henzinger）。 55 2010 数据字上的双变量逻辑。 兹比尔1352.03041 Mikołaj博扬奇克;克莱尔·大卫;安卡·穆斯科尔;托马斯·施温蒂克;卢克·塞古芬 55 2011 弱交替自动机并没有那么弱。 兹比尔1171.68551 奥尔纳·库普弗曼;莫舍·瓦尔迪。 53 2001 关于策略的推理：关于模型检查问题。 Zbl 1354.68178号 法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 52 2014 保守约束满足问题的复杂性。 Zbl 1351.68113号 安德烈·布拉托夫（Andrei A.Bulatov）。 50 2011 相互作用和结构的系统。 Zbl 1367.03110号 阿莱西奥·古列尔米 49 2007 关于霍尔逻辑和克莱恩代数的测试。 Zbl 1365.68326号 德克斯特·科赞 47 2000 一般判断的证明理论。 Zbl 1367.03059号 戴尔·米勒;Tiu，Alwen先生 46 2005 MSO可定义字符串转换和双向有限状态传感器。 Zbl 1171.03326号 约斯特·恩格尔弗里特;亨德里克·扬（Hendrik Jan），胡格布姆（Hoogeboom） 42 2001 语境模态类型理论。 兹比尔1367.03060 阿列克桑达尔·纳内夫斯基;弗兰克·芬宁;碧姬·品特卡 42 2008 子句时间分辨率。 Zbl 1365.03017号 迈克尔·费希尔;克莱尔·狄克逊;马丁·佩姆 36 2001 基于重写的可满足性过程的新结果。 Zbl 1367.68243号 亚历山德罗·阿曼多;玛丽亚·保拉（Maria Paola Bonacina）;西尔维奥·兰伊斯;斯蒂芬·舒尔茨 32 2009 LTL碎片的确定性生成器和游戏。 兹伯利1366.03181 拉杰夫·阿鲁尔;萨尔瓦多拉托雷 31 2004 局部宇宙模型：依赖型理论被忽视的连贯结构。 Zbl 1354.03101号 彼得·勒法努·卢姆斯代恩;迈克尔·沃伦（Michael A.Warren）。 30 2015 带条件约束的概率逻辑规划。 Zbl 1171.68762号 托马斯·卢卡西维奇 30 2001 “模型测量”的参数时序逻辑。 Zbl 1171.68544号 拉杰夫·阿鲁尔;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 30 2001 答案集编程中等价的语义特征和复杂性。 Zbl 1367.68031号 托马斯·艾特;迈克尔·芬克;斯特凡·沃尔特兰 29 2007 常规比赛中的最终胜利。 Zbl 1351.68156号 克里希南德·查特吉;托马斯·亨辛格。;霍恩，弗洛里安 28 2009 组合语言等价的合理且完整的公理化。 Zbl 1353.68186号 马塞洛·M·邦桑格。;斯特凡·米利厄斯;亚历山德拉·席尔瓦 28 2013 在稳定模型语义中展开偏爱和析取。 Zbl 1367.68035号 汤米·詹胡宁;伊尔卡·尼梅尔;迪特马尔，塞佩尔;帕特里克·西蒙斯;你，嘉慧 28 2006 可废止逻辑的表示结果。 Zbl 1171.68740号 格里戈里斯·安东尼乌;大卫·比林顿;圭多州长;迈克尔·马赫（Michael J.Maher）。 27 2001 将最小知识和否定的逻辑描述为失败。 Zbl 1365.68403号 弗朗西斯科·多尼尼。;丹尼尔·纳尔迪;里卡多·罗萨蒂 26 2002 树上一元二阶查询的枚举。 Zbl 1353.68068号 沃伊切赫·卡扎纳;卢克·塞古芬 25 2013 度量部分代数上的抽象与具体计算。 Zbl 1367.68102号 J.V.塔克。;朱克，J.I。 25 2004 身份类型的拓扑和简单模型。 Zbl 1352.03012号 本诺·范登伯格;理查德·加纳 24 2012 直觉轻仿射逻辑。 Zbl 1365.03040号 安德烈亚·阿斯佩蒂;卢卡·罗维斯 24 2002 修饰跟踪语义的前同余格式。 兹比尔1367.68209 布鲁姆，巴德;Wan Fokkink公司;罗布·范·格拉贝克。 24 2004 带有命题连接词和聚合词的逻辑程序。 Zbl 1351.68053号 保罗·费拉里斯 23 2011 具有累计值的时间规格。 Zbl 1354.68169号 乌迪·博克;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼 23 2014 概率抽象论证框架的复杂性。 兹比尔1354.68253 贝蒂娜·法辛加;塞尔吉奥·弗莱斯卡;弗朗西斯科·帕里西 23 2015 Brzozowski最小化算法中的代数-代数对偶。 Zbl 1288.68174号 菲律宾邦奇;马塞洛·M·邦桑格。;Helle H.Hansen。;帕南加登，普拉卡什;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 23 2014 在逻辑框架中使用高阶抽象语法进行推理。 Zbl 1365.68164号 雷蒙德·麦克道尔。;戴尔·A·米勒。 23 2002 概率游戏语义。 Zbl 1365.68310号 文森特·达诺斯;罗素·S·哈默。 23 2002 为什么有这么多循环公式？ Zbl 1367.68036号 弗拉基米尔·利夫希茨;亚历山大·拉兹博罗夫 22 2006 有效解决实数上的量化不等式约束。 Zbl 1367.68270号 斯特凡·拉特肖恩 22 2006 线性逻辑中的最小和最大不动点。 Zbl 1352.03072号 大卫·巴尔德 21 2012 非确定性阶段语义和布尔BI的不确定性。 兹比尔1343.03022 多米尼克·拉奇·温德林;迪迪埃·加米歇 21 2013 整数和实数上线性算术的有效决策过程。 Zbl 1407.03052号 伯纳德·博伊格洛特;塞巴斯蒂安·佐多涅;皮埃尔·沃尔珀 21 2005 可满足模理论中Craig插值的高效生成。 Zbl 1351.68247号 亚历山德罗·西马蒂;阿尔贝托·格里乔;罗伯托·塞巴斯蒂亚尼 19 2010 依赖逻辑中的层次结构。 Zbl 1352.03039号 阿诺·杜兰德;朱哈·科廷宁 19 2012 抽象状态机捕获并行算法。 兹比尔1365.68253 安德烈亚斯·布拉斯;尤里·古里维奇 19 2003 阿贝尔和Łukasiewicz逻辑的序贯和超序贯计算。 Zbl 1407.03037号 乔治·梅特卡夫;尼古拉·奥利维蒂;Dov Gabbay公司 19 2005 自动线性顺序和树。 Zbl 1367.03070号 巴哈迪尔·库萨诺夫;萨沙·鲁宾;弗兰克·斯蒂芬 19 2005 有界度结构上的一阶查询可以用恒定延迟计算。 Zbl 1367.68086号 阿诺·杜兰德;艾蒂安·格兰让 19 2007 一种计算断续等价和分支互模拟的（mathcal O（m\log n））算法。 Zbl 1367.68211号 Jan Friso，格鲁特;大卫·詹森（David N.Jansen）。;Jeroen J.A.Keiren。;安东·J·维斯。 19 2017 可满足性的增量线性化和验证模非线性算术和超越函数。 Zbl 1407.68285号 亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;马可·罗维里;罗伯托·塞巴斯蒂亚尼 19 2018 一种用于知识状态规划、语义和复杂性的逻辑编程方法。 Zbl 1367.68301号 托马斯·艾特;沃尔夫冈·法伯;尼古拉·利昂;杰拉尔德·菲弗;阿克塞尔·波列斯 18 2004 符号转换系统的分类。 Zbl 1367.68193号 托马斯·亨辛格（Thomas A.Henzinger）。;鲁帕克·马朱姆达尔;Jean-François拉斯金 18 2005 关于LF类型理论中的等价和规范形式。 Zbl 1367.03055号 罗伯特·哈珀;弗兰克·芬宁 18 2005 非单调归纳定义的逻辑。 Zbl 1367.68278号 马克·德内克;尤金妮亚·特诺夫斯卡 18 2008 等级-1模态逻辑的PSPACE界限。 Zbl 1351.03015号 卢茨·施罗德;德克·帕丁森 17 2009 （{\pi}）演算的互模拟和模态逻辑的证明搜索规范。 Zbl 1351.68186号 Tiu，Alwen先生;戴尔·米勒 17 2010 可折叠下推自动机和递归方案。 Zbl 1407.68256号 马修·黑格;安德烈·穆拉夫斯基。;C.·H·卢克·翁;奥利维尔·塞雷 17 2017 非单调逻辑程序中答案集的归纳。 Zbl 1367.68039号 千木坂间 17 2005 无单位乘加线性逻辑的证明网。 Zbl 1367.03111号 多米尼克·J·D·休斯。;罗布·范·格拉贝克。 17 2005 素数定理的一个经过正式验证的证明。 Zbl 1367.68244号 杰里米·阿维加德;凯文·唐纳利;大卫·格雷;保罗·拉夫 17 2007 关于深度推理的证明复杂性。 Zbl 1351.03056号 布鲁斯科利，保拉;阿莱西奥·古列尔米 16 2009 量子过程的代数。 Zbl 1351.68187号 英明生;冯，袁;段润耀;纪正峰 16 2009 等式插值理论组合中的无量词插值。 Zbl 1287.03068号 罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 15 2014 从线性时间到分支时间。 Zbl 1367.68195号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 15 2005 带否定即失败逻辑程序的最小模型语义。 Zbl 1367.68038号 帕诺斯·朗多吉安尼;威廉·沃奇（William W.Wadge）。 15 2005 算术、一阶逻辑和计算量词。 Zbl 1407.03050号 尼科尔·施韦卡特 15 2005 软并发约束编程。 Zbl 1367.68315号 斯蒂法诺·比斯塔雷利;乌戈·蒙塔纳里;弗朗西丝卡·罗西 15 2006 模态逻辑和描述逻辑的统一性和可容许性问题的不确定性。 兹比尔1367.03026 弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 15 2008 LF元理论的机械化。 Zbl 1351.68250号 城市，基督教;詹姆斯·切尼;斯特凡·贝尔霍费尔 14 2011 团队语义中命题逻辑的复杂性。 Zbl 1407.68291号 Miika Hannula公司;朱哈·科廷宁;乔尼·维特玛;赫里贝特·沃尔默 14 2018 OPL中的搜索和策略。 Zbl 1365.90281号 帕斯卡·范·亨特利克;劳伦·佩伦;Jean-François普吉 14 2000 在保护逻辑和模态逻辑之间来回切换。 Zbl 1365.03019号 埃里希·格拉德尔;科林·赫什;马丁·奥托 14 2002 单声道时间分辨率。 Zbl 1367.03035号 安纳托利·德吉亚列夫;迈克尔·费希尔;鲍里斯·科涅夫 14 2006 交替定时自动机。 Zbl 1367.68172号 斯拉沃米尔·拉索塔;伊戈尔·瓦卢基维奇 14 2008 狭义证明可能最长。 Zbl 1367.03104号 阿尔伯特·阿塞里亚斯;马西莫·劳里亚;雅各布诺德斯特伦 14 2016 非单调推理的KLM逻辑的解析表计算。 Zbl 1351.03004号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡（Gian Luca），披萨 13 2009 通过术语重写实现逻辑程序的自动终止证明。 兹比尔1351.68054 彼得·施奈德·坎普;吉尔根·吉斯尔;亚历山大·塞雷布雷尼克;雷内·蒂曼 13 2009 LTL过度描述逻辑公理。 Zbl 1351.68260号 弗兰兹·巴德;西尔维奥·吉拉尔迪;卡斯滕·卢茨 13 2012 具有线性合理成本的优化模理论。 Zbl 1354.68233号 罗伯托·塞巴斯蒂亚尼;西尔维娅·托马西 13 2015 二阶有界算术的改进见证和局部改进原理。 Zbl 1287.03105号 阿诺德·贝克曼;Samuel R.巴斯。 13 2014 正常和非正常模式的后续计算模块化。 Zbl 1433.03131号 比约恩·莱尔曼;伊莲·皮门特尔 13 2019 使用将未解释函数的逻辑有效简化为命题逻辑的处理器验证。 Zbl 1365.68317号 Randal E.布莱恩特。;德国人，史蒂文;米罗斯拉夫·韦列夫。 13 2001 效果和单子的结合。 Zbl 1365.68166号 菲利普·沃德勒;彼得·蒂曼 13 2003 标准条件逻辑的序列演算和定理证明器。 Zbl 1367.68253号 尼古拉·奥利维蒂;吉安·卢卡（Gian Luca），披萨;卡米拉·施温德。 13 2007 诱因逻辑编程中的可验证代理交互：SCIFF框架。 Zbl 1367.68273号 马尔科·阿尔贝蒂;费德里科·切萨尼;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼 13 2008 有界树宽的有限结构上的一元数据日志。 兹比尔1351.68110 乔治·戈特洛布;莱因哈德·皮克勒;魏芳 12 2010 补语的简洁性和正则表达式的交集。 Zbl 1351.68139号 伤口凝胶;法兰克·奈文 12 2012 全结构命题序列系统的统一语义框架。 Zbl 1354.03084号 奥里邦拉哈夫;阿诺·阿夫隆 12 2013 结构聚焦。 Zbl 1354.03087号 罗伯特·西蒙斯。 12 2014 部分观察随机博弈，当信念失效时如何获胜。 Zbl 1291.91021号 克里希南德·查特吉;劳伦特·多恩 12 2014 基于仿真的最小化。 Zbl 1365.68319号 多龙·布斯坦;奥尔纳·格伦伯格 12 2003 命题可计算逻辑。一、。 Zbl 1367.03056号 乔治·贾帕里泽 12 2006 抽象规范推理。 Zbl 1367.03023号 玛丽亚·保拉（Maria Paola Bonacina）;纳鸿·德肖维茨 12 2007 具有队列的项代数的判定过程。 Zbl 1171.68557号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 11 2001 检查模拟图上的定时Büchi自动机的空性。 Zbl 1352.68165号 斯塔夫罗斯·特里帕基斯 11 2009 多项式演算中大小级权衡的最优性。 兹比尔1352.03066 尼古拉·加莱西;马西莫·劳里亚 11 2010 带有描述逻辑的时间概念数据建模食谱。 Zbl 1354.68245号 亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;迈克尔·扎克哈里亚舍夫 11 2014 叠加的SAT激励抵消。 Zbl 07650603号 佩塔·武克米罗维奇;布兰切特，茉莉;Heule，Marijn J.H。 三 2023 保护分离逻辑的一种决策过程，用归纳定义完成分离逻辑的蕴涵检查。 Zbl 07650597号 克里斯托夫·马提亚;简斯·佩格尔;弗洛里安·祖勒格 三 2023 有界秩宽图的规范化和可定义性。 Zbl 07650602号 马丁·格罗;丹尼尔·诺恩 2 2023 求有理数算术的等式。 Zbl 07713583号 Jan A.Bergstra。;约翰·V·塔克。 1 2023 广义可实现性和直觉逻辑。 Zbl 07672670号 亚历克桑德·科诺瓦洛夫 1 2023 异步多方会话的精确子类型。 Zbl 07672673号 西尔维娅·吉勒赞;约万卡·潘托维奇;伊万·普罗基奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 1 2023 概括Parikh的相关敏感信念修正标准。 Zbl 07672677号 阿拉瓦尼斯·提奥凡尼斯 1 2023 Good-for-game QPTL：一种交替的hodges语义。 Zbl 07650600号 迪伦·贝利尔;马西莫·贝内雷塞蒂;黛拉·莫妮卡，达里奥;法比奥·莫加维罗 1 2023 粗糙集理论中时态信息系统的逻辑。 Zbl 07650598号 马里兰州阿基尔汗;莫华·班纳吉;熊猫，锡班卡 1 2023 正确显示计算的语法完整性。 Zbl 1505.03121号 陈金生;朱塞佩·格雷科;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯 4 2022 正确是不够的：使用健壮的线性时序逻辑进行有效验证。 Zbl 1502.68178号 扎尼斯·阿内夫拉维斯;菲利普，马修;丹尼尔·奈德;保罗·塔布阿达 4 2022 获得并行组合的有限公理化是否需要两个二进制运算符？ Zbl 1508.68239号 卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯·卢提克 三 2022 模态和参数伴随。 Zbl 1505.03030号 丹尼尔·格拉泽;埃文·卡瓦洛;卡夫沃斯，G.A。;阿德里安·瓜托;拉尔斯·比克达尔 三 2022 一阶逻辑属性消元距离的参数化复杂性。 Zbl 1505.03075号 费多尔·福明。;Petr A.Golovach。;迪米特里奥斯·蒂利科斯（Dimitrios M.Thilikos）。 三 2022 具有多团队语义的逻辑。 Zbl 1505.03069号 埃里希·格雷德尔;理查德·威尔克 三 2022 统一操作弱内存验证：公理方法。 Zbl 1508.68216号 西蒙·多尔蒂;萨迪·达尔瓦迪;布里杰什·多戈尔;海克·卫尔海姆 2 2022 离散动力系统的o极小不变量。 Zbl 1502.68177号 沙乌尔·阿尔马戈;德米特里·奇斯蒂科夫;欧卡宁，乔伊;詹姆斯·沃雷尔 2 2022 异步公告。 Zbl 1505.03038号 菲利普·巴尔比亚尼;汉斯·范·迪特马什;费尔南德斯·冈萨雷斯 2 2022 分布式量子程序的验证。 Zbl 1508.68218号 冯、袁;李三江;英明生 1 2022 算术模态逻辑中具有全局假设的协同代数推理。 Zbl 1502.68285号 克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 1 2022 解析归纳不等式的倾斜正典性。 Zbl 1505.03051号 劳伦特·德·鲁德尔;亚历山德拉·帕尔米吉亚诺 三 2021 广义可实现性和基本逻辑。 Zbl 1505.03128号 亚历克桑德·尤·科诺瓦洛夫。 2 2021 从2-序列和线性嵌套序列到正规模态逻辑的自然演绎。 Zbl 1505.03054号 西蒙·马提尼;安德烈亚·马西尼;玛格丽塔·佐齐 2 2021 不完整数据库上计数问题的复杂性。 Zbl 1508.68083号 马塞洛·阿里纳斯;巴勃罗·巴塞洛;米卡·莫内 1 2021 战略性知识获取。 Zbl 1502.68284号 卡亚·德乌瑟;帕维尔·瑙莫夫 1 2021 显示给带标签的校样，然后再次显示给时态逻辑。 Zbl 1505.03047号 蝉蜕、阿加塔;蒂姆·S·里昂。;雷文莎·拉马纳亚克;蒂乌，阿尔文 1 2021 有界展开类的一阶解释。 Zbl 1446.68094号 加亚尔斯克，雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;塞巴斯蒂安·西贝茨;西门托伦奇克 10 2020 添加继任者。分离和覆盖的转移定理。 Zbl 1433.03103号 托马斯·普莱斯;马克·泽顿 7 2020 直觉主义线性时序逻辑。 Zbl 1433.03047号 菲利普·巴尔比亚尼;约瑟夫·布杜;马丁·迪盖兹;大卫·费尔南德斯·杜克 6 2020 愚蠢的反统一。 Zbl 1433.68188号 戴维·塞尔纳;特默尔库西亚 6 2020 关于知识和概率推理的一阶逻辑。 Zbl 1446.03038号 托莫维奇，S。;Ognjanović，Z。;D.多德。 5 2020 带有未解释谓词的分离逻辑的Bernays-Schönfinkel-Ramsey类。 Zbl 1446.03064号 穆纳乔·埃切宁;拉杜·奥西夫;尼古拉斯·佩尔蒂埃 5 2020 为什么时间自动机的活性很难，以及我们能做些什么。 Zbl 1446.68068号 弗雷德里克·赫布雷托;Srivathsan，B。;Tran，Thanh-Tung镇;伊戈尔·瓦卢基维奇 4 2020 使用保护片段进行本体论中介查询时的两分法。 Zbl 1446.68056号 安德烈·赫尼奇;卡斯滕·卢茨;法比奥·帕帕奇尼;弗兰克·沃尔特 4 2020 传递闭包逻辑的无完备性证明理论。 兹比尔1446.03031 科恩、利隆;鲁本·罗伊，N.S。 4 2020 走向有效状态机的统一理论。 Zbl 1446.68085号 谢尔盖·贡查罗夫;斯特凡·米利厄斯;亚历山德拉·席尔瓦 三 2020 具有间隔数字名称的度量时间描述逻辑。 Zbl 1446.68145号 弗兰兹·巴德;斯特凡·博格沃德;帕特里克·科普曼;安娜·奥扎基;维罗尼卡托斯特 三 2020 弱者的力量。 Zbl 1446.68089号 法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马，伊德;法比奥·扎纳西 2 2020 CSP中的输入和输出。模型和测试理论。 Zbl 1446.68103号 安娜·卡瓦尔坎蒂;Robert M.Hierons。;西德尼·诺盖拉 2 2020 在安全协议中免费键入消息。 Zbl 1433.68211号 克雷蒂安，雷米;维罗尼克·科尔蒂尔;安托万·达隆;斯特凡尼德劳恩 2 2020 直觉命题演算中的定点消去法。 Zbl 1433.03015号 西尔维奥·吉拉尔迪;玛丽亚·乔昂·古韦亚;路易吉·桑托卡纳莱 2 2020 对无序流进行运行时验证。 Zbl 1433.68208号 戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 2 2020 Monadic数据日志、树有效性和有限访问控制。 Zbl 1433.68115号 迈克尔·本尼迪克特;皮埃尔·布赫斯;乔治·戈特洛布;皮埃尔·塞内拉特 2 2020 模态包含逻辑的可满足性。宽松严格的语义。 Zbl 1433.03053号 你好，劳里;安蒂·库西斯托;阿恩·迈尔;赫里贝特·沃尔默 2 2020 直觉主义命题逻辑正向反驳研究中不可证明性与可证明性的二重性。 Zbl 1446.03025号 佛罗伦萨，卡米洛;毛罗·法拉利 1 2020 关于稠密图类的FO模型检查的一个新观点。 Zbl 1446.68093号 加亚尔斯克，雅库布;彼得·赫林;Obdržálek，简;丹尼尔·洛克斯塔诺夫;拉马努扬，M.S。 1 2020 在答案集程序转换中应用可见的强等价性。 Zbl 1502.68059号 乔里·博曼森;汤米·詹胡宁;伊尔卡·尼梅尔 1 2020 缩减和扩展中的动态QBF依赖性。 Zbl 1433.03138号 奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩 1 2020 正常和非正常模式的后续计算模块化。 Zbl 1433.03131号 勒曼，比约恩;伊莱恩·皮门特尔 13 2019 计算场的高阶微积分。 Zbl 1407.68326号 乔治·奥德里托;米尔科·维罗利;费卢西奥·达米亚尼;丹尼尔·皮亚尼尼;雅各布·比尔 11 2019 模态分辨率。校对、分层和细化。 Zbl 1433.03057号 Cláudia Nalon;克莱尔·迪克森;乌尔里希·赫斯塔特 7 2019 时间间隔与时间点逻辑模型检查。表现力比较。 Zbl 1407.68283号 劳拉，博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 广义艾伦伯格定理。一个类别中的各种语言。 Zbl 1407.68315号 阿达梅克，吉安尼;斯特凡·米利厄斯;罗伯特·S·R·迈尔斯。;海宁·乌尔巴特 4 2019 基于存在规则的快速查询应答。 Zbl 1433.68432号 尼古拉·利昂;马可·曼纳;乔治·特拉西纳;皮尔弗朗西斯科·维尔特里 4 2019 De Morgan对偶名词量词在非交换逻辑中建模私有名称。 Zbl 1459.03090号 罗斯·霍恩;Tiu，Alwen先生;阿曼，博格丹;加布里埃尔·乔巴努 4 2019 1-安全Petri网和特殊立方体复合体。等效性和应用。 Zbl 1433.68243号 杰雷米·查洛平;维克托·切波伊 4 2019 证明复杂性符合代数。 Zbl 1407.03070号 阿尔伯特·阿塞里亚斯;乔安娜·奥奇里米亚克 三 2019 使用自然二重性检查可接受性。 Zbl 1407.03010号 卡布勒，莱昂纳多·M。;本杰明·弗雷斯伯格;乔治·梅特卡夫;希拉里·普里斯特利（Hilary A.Priestley）。 三 2019 同步寄存器自动机的数据字。 兹比尔1433.68199 卡琳·夸斯;马赫萨·希尔穆罕默德 三 2019 子图同构的渐近描述复杂性的紧界。 Zbl 1433.68162号 奥列格·维尔比茨基;马克西姆·朱可夫斯基 2 2019 代数上的概率认知更新。 Zbl 1433.03043号 威廉·康雷迪;萨宾·弗里特拉;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯;纳乔姆·维恩伯格 2 2019 求解整数上非线性公式的不完全SMT技术。 Zbl 1433.68405号 克里斯蒂娜·博拉莱拉斯;丹尼尔·拉拉兹;恩里克·罗德里格斯-卡博内尔;阿尔伯特·奥利弗拉斯;阿尔伯特·鲁比奥 2 2019 参数环上活锁自由和自稳定的验证。 Zbl 1433.68254号 亚历克斯·克林哈默;阿里·埃布纳西尔 2 2019 降阶二元决策图最坏情况尺寸的理论和数值分析。 Zbl 1407.68116号 吉姆·牛顿;迪迪埃·维纳 1 2019 中心极限模型检查。 Zbl 1433.68209号 卢卡·博托卢西;卢卡·卡德利;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂 1 2019 时间寄存器下推自动机和分支向量加法系统的二进制可达性。 Zbl 1433.68194号 洛伦佐·克莱门特;萨沃米尔·拉索塔;兰科·拉齐奇;菲利普·马佐维耶基 1 2019 可满足性的增量线性化和验证模非线性算术和超越函数。 兹比尔1407.68285 亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;马可·罗维里;罗伯托·塞巴斯蒂亚尼 19 2018 团队语义中命题逻辑的复杂性。 兹比尔1407.68291 Miika Hannula公司;朱哈·科廷宁;乔尼·维特玛;赫里贝特·沃尔默 14 2018 短校样窄吗？QBF分辨率为不这么简单。 Zbl 1407.03072号 奥拉夫·拜尔斯多夫;勒罗伊·周;米纳·马哈扬;阿尼尔·舒克拉 8 2018 平行成本分析。 Zbl 1407.68062号 艾尔维拉·阿尔伯特;科里亚斯，杰苏斯;埃纳尔·布罗赫·约翰森;Ka I.潘。;吉列尔莫·罗曼·迪兹 6 2018 一种模块化重建算法。 Zbl 1407.68440号 弗洛里安·拉贝 5 2018 交替时间时序逻辑的博弈论语义。 Zbl 1407.03030号 瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 5 2018 路径类别和命题身份类型。 Zbl 1407.03005号 本诺·范登伯格 4 2018 超序列和规则、嵌入和应用系统。 Zbl 1407.03066号 蝉蜕、阿加塔;弗朗西斯科·詹科（Francesco A.Genco）。 三 2018 平坦余代数不动点逻辑的完备性。 Zbl 1407.03049号 卢茨施罗德;维尼马，伊德 三 2018 亚原子证明系统：可分割系统。 Zbl 1407.03069号 Aler Tubella，安德烈亚·塔贝拉;阿莱西奥·古列尔米 三 2018 具有传递保护和相关变体的双变量保护片段的有限可满足性。 Zbl 1407.03009号 伊曼纽尔·基伦斯基;利迪亚·坦德拉 三 2018 认知策略逻辑。 Zbl 1407.03020号 黄晓伟;罗恩·范德梅登 三 2018 MALL通过Hughes-Van Glabbeek证明网的交互几何。 Zbl 1407.03077号 滨野正弘 2 2018 参数化验证的自动证明方法。 Zbl 1407.68295号 李永坚;段凯强;大卫·詹森（David N.Jansen）。;庞、军;张丽君;吕毅;蔡少伟 2 2018 并发量子系统的自动等价性检查。 Zbl 1407.68276号 易卜拉欣·阿尔德斯希尔·拉里贾尼;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬 2 2018 具有奇偶性的等深Frege的一些子系统。 兹比尔1407.03074 米查尔·加利克;Kołodziejczyk、Leszek Aleksander 2 2018 通过学习分类器实现分段函数的合成。 Zbl 1407.68411号 丹尼尔·奈德;Shambwaditya萨哈;马杜苏丹，P。 1 2018 抽象分离逻辑的模块化标记序列计算。 Zbl 1407.03046号 Hóu，Zhé;克劳斯顿，拉纳德;拉杰夫·戈尔;Tiu，Alwen先生 1 2018 使用严格的否定交集类型表征\（\lambda\mu\）的归一化属性。 Zbl 1407.03015号 范·贝克尔，斯特芬 1 2018 键入的标称重写。 Zbl 1407.68240号 埃利奥特·费尔威瑟;玛丽贝尔·费尔南德斯 1 2018 一种用于多粒度粗糙集模型中推理的简单模式逻辑。 Zbl 1407.68485号 马里兰州阿基尔汗;维尼塔·辛格·帕特尔 1 2018 线性和仿射闭λ项的定量方面。 Zbl 1407.03013号 皮埃尔·莱斯坎 1 2018 包含逻辑中具有松散语义的层次结构。 Zbl 1407.03040号 Miika Hannula公司 1 2018 Minkowski游戏。 Zbl 1407.91066号 勒鲁（Le Roux，Stéphane）;阿诺·保利;Jean-François拉斯金 1 2018 过渡系统中的相关路径：模态微积分的下降。 Zbl 1407.68287号 加泰林·迪马;巴斯蒂安·莫伯特;苏菲·平奇纳特 1 2018 一种计算断续等价和分支互模拟的（mathcal O（m\log n））算法。 Zbl 1367.68211号 Jan Friso，格鲁特;大卫·詹森（David N.Jansen）。;杰伦·J·A·凯伦。;安东·威伊斯（Anton J.Wijs）。 19 2017 可折叠下推自动机和递归方案。 Zbl 1407.68256号 马修·黑格;安德烈·穆拉夫斯基。;C.·H·卢克·翁;奥利维尔·塞雷 17 2017 通过约束重写归纳法验证过程程序。 Zbl 1367.68248号 卡斯滕·福斯;辛西娅·科普;西田，直木 10 2017 Halpern-Shoham区间时间逻辑的角片段。 Zbl 1407.03029号 大卫·布雷索林;阿吉·库鲁茨;埃米利奥·穆尼奥斯·贝拉斯科;弗拉迪斯拉夫·里日科夫;圭多·西亚维科;迈克尔·扎克哈里亚舍夫 8 2017 差异混合游戏。 Zbl 1407.91056号 安德烈·普拉泽 8 2017 系统发育约束满足问题的复杂性。 Zbl 1407.68206号 曼纽尔·博迪尔斯基;彼得·琼森;范，Trung Van 8 2017 连续Petri网的逻辑视图。 Zbl 1407.68329号 迈克尔·布隆丁;阿兰·芬克尔;克里斯托夫·哈斯;谢尔盖·哈达德 8 2017 有理关系的图形逻辑：单词组合的作用。 Zbl 1367.68082号 巴勃罗·巴塞洛;巴勃罗·穆尼奥斯 5 2017 二元逻辑中交替层次的有效表征。 兹比尔1407.03054 安德烈亚斯·克雷布斯;霍华德·斯特劳宾 4 2017 …还有431个文档 所有引用出版物 前5名被引用出版物 全部的 前5名3936位作者引用 35 托马斯·艾特 30 斯特凡·沃尔特兰 27 乔治·斯特鲁斯 26 奥尔纳·库普弗曼 26 伯恩哈德·莫勒 25 莫西·亚亚科夫·瓦尔迪 24 阿尼埃洛·穆拉诺 23 克里希南德·查特吉 22 斯特凡·米利厄斯 19 克莱尔·迪克森 18 马里奥·阿尔维亚诺 18 卢茨斯特拉汉堡 18 马丁·齐默尔曼 17 克里斯特尔·拜尔 17 博克，乌迪 17 马克·德内克 17 马丁·格布瑟 17 碧姬·品特卡 16 奥拉夫·拜尔斯多夫 16 帕特里夏·鲍耶 16 Stéphane P.德姆里。 16 尼古拉·利昂 16 弗拉基米尔·利夫希茨 16 德克·帕丁森 16 卢茨·施罗德 16 特鲁什琴斯基，米洛斯奥 15 纳鸿·德肖维茨 15 托马斯·亨辛格（Thomas A.Henzinger）。 15 Joost-Pieter卡托恩 15 法比奥·莫加维罗 15 弗朗西斯科·里卡 15 托尔斯滕·绍布（Torsten H.Schaub）。 15 弗兰克·沃尔特 15 迈克尔·维克托洛维奇（Michael Viktorovich） 14 佩德罗·卡巴拉尔 14 乌戈·达尔拉戈 14 沃尔夫冈·法伯 14 阿恩·迈尔 14 Jean-François拉斯金 13 卢卡·埃特罗 13 艾曼纽·菲利奥特 13 乔治·戈特洛布 13 圭多州长 13 Anna Ingólfsdóttir 13 托马斯·卢卡西维奇 13 何塞·梅塞盖尔·瓜伊塔 13 米勒，戴尔·艾伦 13 卡洛斯·奥拉特 13 约翰·V·塔克。 12 劳拉·博泽利 12 卡明·多达罗 12 西尔维奥·吉拉尔迪 12 乌尔里希·赫斯塔特 12 汤米·詹胡宁 12 Marta Z.Kwiatkowska。 12 安德烈·穆拉夫斯基。 12 朱塞佩·佩雷利 12 安德烈·普拉泽 12 克里斯托夫·林盖森 12 赫里贝特·沃尔默 11 博加茨，巴特 11 玛丽亚·保拉（Maria Paola Bonacina） 11 朱尔斯·德沙奈斯 11 曼弗雷德·德罗斯特 11 劳拉·佐丹奴 11 阿尔贝托·格里乔 11 罗斯·霍恩 11 马可·马拉提亚 11 奥托普，简 11 伊莱恩·皮门特尔 11 皮埃尔·阿莱·雷尼尔 11 帕诺斯·朗多吉安尼 10 弗兰兹·巴德 10 曼纽尔·博迪尔斯基 10 贝内迪克特·博利格 10 斯特凡尼德劳恩 10 迈克尔·芬克 10 保罗·加斯丁 10 吉尔根·吉斯尔 10 见鬼，帕沃 10 乔治·贾帕里泽 10 约昂·莱特 10 尤利亚·利勒 10 马库斯·洛伊 10 巴纳比·D·马丁。 10 安吉洛·蒙塔纳里 10 亚历山德拉·帕尔米吉亚诺 10 安东尼诺·罗托洛 10 尼科尔·施韦卡特 10 托马斯·施温蒂克 10 沃尔夫冈·托马斯 10 西蒙·蒂尼 10 阿文·费南托（Alwen Fernanto Tiu） 10 汉斯·托姆皮茨 10 托尔斯滕·维曼 10 迈克尔·J·伍尔德里奇。 10 詹姆斯·沃雷尔。 10 张丽君 10 杰弗里·扎克。 9 马西莫·贝内雷切蒂 …还有3836位作者 全部的 前5名169种期刊被引用 204 理论计算机科学 162 信息与计算 158 逻辑程序设计理论与实践 157 人工智能 144 计算机科学中的逻辑方法 88 ACM计算逻辑事务 75 纯逻辑与应用逻辑年鉴 74 计算机与系统科学杂志 71 自动推理杂志 63 程序设计中的逻辑和代数方法杂志 62 MSCS公司。计算机科学中的数学结构 52 数学与人工智能年鉴 45 国际近似推理杂志 36 信息学报 36 应用逻辑杂志 35 系统设计中的形式化方法 35 应用非经典逻辑杂志 33 计算系统理论 32 逻辑与代数程序设计杂志 30 信息处理信件 26 Studia Logica公司 23 函数编程杂志 22 计算的形式方面 19 符号逻辑杂志 19 约束条件 17 国际计算机科学基础杂志 15 模糊集与系统 15 计算机基础理论 14 哲学逻辑杂志 14 数学逻辑档案 14 逻辑、语言与信息杂志 14 符号逻辑公报 13 符号计算杂志 12 离散应用数学 12 信息科学 12 SIAM计算机杂志 11 泛逻辑 9 纯粹与应用代数杂志 9 机器学习 9 数学逻辑季刊（MLQ） 8 计算机程序设计科学 8 人工智能研究杂志 7 合成 7 计算复杂性 7 美国医学会杂志 6 代数Universalis 6 算法 6 国际代数与计算杂志 5 国际理论物理杂志 5 应用数学与计算 5 Automatica公司 5 软计算 4 组合理论杂志。B系列 4 逻辑与逻辑哲学 4 计算机科学中的数学 4 符号逻辑综述 4 计算机科学评论 三 圣母院形式逻辑杂志 三 计算机与运筹学 三 SIAM离散数学杂志 三 范畴的理论与应用 三 离散数学和理论计算机科学。DMTCS公司 三 RAIRO公司。理论信息学及其应用 三 国际博弈论综述 三 计算机语言、系统和结构 三 非线性分析。混合动力系统 三 RAIRO公司。理论信息学及其应用 三 计算机科学前沿 三 Logicheskie Issledovaniya公司 2 代数通讯 2 离散数学 2 立陶宛数学杂志 2 《伦敦数学学会通报》 2 编程和计算机软件 2 美国数学学会会刊 2 欧洲组合数学杂志 2 图与组合 2 计算机科学与技术杂志 2 数学论坛 2 全球优化杂志 2 离散事件动态系统 2 国际计算机数学杂志 2 控制论与系统分析 2 数学科学杂志（纽约） 2 可满足性、布尔建模与计算杂志 2 可计算性 2 Modelirovanie i Analiz信息系统 2 较高的结构 1 倒排索引综述 1 计算机与数学及其应用 1 休斯顿数学杂志 1 国际通用系统杂志 1 数学笔记 1 剑桥哲学学会数学进展杂志 1 《物理快报》。A类 1 Zhurnal Vychislitel’noĭMatematiki i Matematichesko 1 ACM数据库系统事务 1 数学进展 1 统计年鉴 1 数学座谈会 ……还有69种期刊 全部的 前5名43个领域被引用 2,825 计算机科学（68至XX） 1488年 数学逻辑和基础（03-XX） 150 博弈论、经济学、金融和其他社会和行为科学（91-XX） 86 范畴理论；同调代数（18-XX） 84 组合数学（05-XX） 66 运筹学、数学规划（90-XX） 55 一般代数系统（08-XX） 48 阶、格、有序代数结构（06-XX） 38 信息与通信理论、电路（94-XX） 35 代数拓扑（55-XX） 33 概率论与随机过程（60-XX） 30 系统论；控制（93至XX） 29 量子理论（81-XX） 20 群论与推广（20-XX） 19 生物学和其他自然科学（92-XX） 14 结合环与代数（16-XX） 14 一般拓扑结构（54至XX） 12 历史和传记（01-XX） 9 总体主题；集合（00-XX） 9 数值分析（65-XX） 7 数论（11-XX） 7 常微分方程（34-XX） 6 线性代数和多线性代数；矩阵理论（15-XX） 6 动力系统和遍历理论（37至XX） 5 交换代数（13-XX） 5 统计学（62-XX） 5 粒子和系统力学（70-XX） 4 凸和离散几何（52至XX） 三 代数几何（14-XX） 三 实际功能（26年X月X日） 2 场论和多项式（12-XX） 2 测量和集成（28-XX） 2 算子理论（47-XX） 2 流形和细胞复合体（57至XX） 2 数学教育（97-XX） 1 拓扑群、李群（22日至XX日） 1 几个复变量和分析空间（32-XX） 1 偏微分方程（35-XX） 1 差分和函数方程（39至XX） 1 变分法与最优控制；最优化（49至XX） 1 微分几何（53至XX） 1 统计力学，物质结构（82-XX） 1 相对论和引力理论（83至XX） 按年份列出的引文