编辑配置文件(在新选项卡中打开) 娜塔莎·亚历奇纳 合著者距离 作者ID: alechina.natasha公司 发布日期: 娜塔莎·亚历奇纳;北阿勒奇纳州。 外部链接: MGP公司 已编制索引的文档: 64出版物自1995年起 4作为编辑的贡献 合著者: 54位合著者具有63份联合出版物 1245名合作作者 全部的 前5名合著者 5 单作者的 34 布赖恩·洛根 8 托马斯·奥戈特内斯 7 鲁斯塔姆·加利姆林 7 Nguyen、Hoang Nga 6 梅迪·达斯坦尼(Mehdi M.Dastani)。 6 阿卜杜尔·拉基布 三 牛,尼尔斯 三 Stéphane P.德姆里。 三 杜,鹤山 三 德米特里·什卡托夫 三 汉斯·皮特·范·迪特马什 2 皮耶乔治·贝尔托利 2 瓦莱里亚·德·佩瓦 2 基亚拉·吉迪尼 2 马克·贾戈 2 刘芬荣 2 约翰·朱尔斯·查尔斯 2 阮黄雅(Nguyen Hoang Nga) 2 佛朗哥·雷蒙迪 2 范德霍克,威比 2 范兰巴金、米歇尔·玛丽安·米歇尔 1 亚历山大·阿尔博尔 1 菲利普·巴尔比亚尼 1 尼克·巴西利亚德斯 1 坎努,昆廷 1 安东尼·科恩(Anthony G.Cohn)。 1 法比亚诺·达尔皮亚斯 1 马尔滕·德·里杰克 1 玛丽娜·德沃斯 1 戴维·德尔安纳 1 阿明·法朱迪安 1 法语,蒂姆 1 瓦伦丁·F·戈兰科。 1 尤里·古里维奇 1 Joseph Yehuda Halpern 1 安德烈亚斯·赫齐格 1 尼尔·伊梅尔曼 1 伊恩·卡什(Ian A.Kash)。 1 梁飞 1 迈克尔·门德勒 1 塞尔吉奥·梅拉 1 安德烈亚萨·莫里斯·马汀 1 科杰蒂尔·诺瓦格 1 沃伊切赫·彭泽克 1 伊莉莎·佩罗廷 1 艾克·里特 1 费尔南多·沙帕奇尼克 1 卢西亚诺·塞拉菲尼 1 查尔斯·斯图尔特五世。 1 Trang、Doan Thu 1 van Benthem,Johan F.A.K。 1 王拓 1 马克·惠特西 1 周,可以 全部的 前5名系列 9 逻辑与计算杂志 7 逻辑、语言与信息杂志 4 人工智能研究杂志 三 合成 2 理论计算机科学 1 人工智能 1 计算机与系统科学杂志 1 符号逻辑杂志 1 Studia Logica公司 1 应用智能 1 应用非经典逻辑杂志 1 IGPL公告 1 IGPL逻辑期刊 1 应用逻辑杂志 1 计算机科学课堂讲稿 1 LIPIcs–莱布尼茨国际信息学会议录 1 Logicheskie Issledovaniya公司 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 领域 48 计算机科学(68至XX) 46 数学逻辑和基础(03-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 总体主题;集合(00-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 45出版物有被引用191次137文件 引用人▼ 年份▼ 构造S4模态逻辑的范畴语义和克里普克语义。 Zbl 1005.03024号 娜塔莎·亚历奇纳;迈克尔·门德勒;瓦莱里亚·德·佩瓦;艾克·里特 27 2001 句法知识的动态性。 Zbl 1118.03008号 托马斯·奥戈特内斯;娜塔莎·亚历奇纳 15 2007 资源有限联盟的逻辑。 Zbl 1252.03036号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;阿卜杜尔·拉基布 11 2011 路径约束的模态透视图。 兹比尔1093.68032 娜塔莎·亚历奇纳;斯特凡·德姆里;马尔滕·德·里杰克 10 2003 具有个体知识、分布式知识和公共知识的联盟逻辑。 兹比尔1444.03021 托马斯·奥戈特内斯;娜塔莎·亚历奇纳 9 2019 在时间推理逻辑中对通信代理进行建模。 Zbl 1111.68661号 娜塔莎·亚历奇纳;布赖恩·洛根;马克·惠特西 7 2004 关于无意识知识的推理逻辑。 Zbl 1311.03032号 托马斯·奥戈特内斯;娜塔莎·亚历奇纳 7 2014 资源型ATL的模型检查,包括资源的生产和消耗。 Zbl 1371.68173号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;佛朗哥·雷蒙迪 7 2017 资源逻辑与资源生产的可决定模型检查。 Zbl 1366.68161号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;佛朗哥·雷蒙迪 7 2014 有限结构的语法与语义。 Zbl 0884.03035号 娜塔莎·亚历奇纳;尤里·古里维奇 6 1997 可达性逻辑:传递闭包逻辑的有效片段。 Zbl 0948.03022号 娜塔莎·亚历奇纳;尼尔·伊梅尔曼 5 2000 证明直觉模态逻辑可判定性的一般方法。 Zbl 1106.03005号 娜塔莎·亚历奇纳;德米特里·什卡托夫 5 2006 验证资源有限的代理的空间和时间要求。 Zbl 1196.68284号 娜塔莎·亚历奇纳;皮耶乔治·贝尔托利;基亚拉·吉迪尼;马克·贾戈;布赖恩·洛根;卢西亚诺·塞拉菲尼 5 2007 联盟和团体公告逻辑。 Zbl 1483.03007号 鲁斯塔姆·加利姆林;娜塔莎·亚历奇纳 5 2017 具有资源边界的交替时间时序逻辑。 Zbl 1444.03037号 Nguyen、Hoang Nga;娜塔莎·亚历奇纳;布赖恩·洛根;阿卜杜尔·拉基布 4 2018 验证推理代理系统中的时间、内存和通信边界。 Zbl 1187.68571号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;阿卜杜尔·拉基布 4 2009 作为子结构逻辑的广义量化。 Zbl 0858.03051号 娜塔莎·亚历奇纳;米歇尔·范·兰巴金 4 1996 带交集的(K_{n})中关于联合作用和联合能力的推理。 Zbl 1348.68251号 托马斯·奥戈特内斯;娜塔莎·亚历奇纳 4 2011 关于资源约束逻辑的复杂性。 Zbl 1403.68137号 娜塔莎·亚历奇纳;牛,尼尔斯;斯蒂芬·德姆里;布赖恩·洛根 4 2016 空闲的优点:资源代理逻辑的一个可判定片段。 Zbl 1402.68122号 娜塔莎·亚历奇纳;牛,尼尔斯;布赖恩·洛根;Nguyen、Hoang Nga 4 2017 联盟公告逻辑的模型检查。 Zbl 1515.68179号 鲁斯塔姆·加利姆林;娜塔莎·亚历奇纳;汉斯·范·迪特马什 4 2018 直觉主义模态逻辑:15年回顾。 Zbl 1454.03011号 查尔斯·斯图尔特;瓦莱丽娅·德·佩瓦;娜塔莎·亚历奇纳 三 2018 关于资源受限逻辑的复杂性。 Zbl 1403.68136号 北阿勒奇纳州。;北布林。;德姆里,S。;B·洛根。 三 2018 广义量词的对应性和完备性。 Zbl 0842.03032号 娜塔莎·亚历奇纳;米歇尔·范·兰巴金 三 1995 有限资源下的信念归属。 Zbl 1208.03018号 娜塔莎·亚历奇纳;布赖恩·洛根 三 2010 具有分布式知识的组公告逻辑。 Zbl 07160604号 鲁斯塔姆·加利姆林;托马斯·奥戈特内斯;娜塔莎·亚历奇纳 三 2019 在有限资源下推理其他代理的信念。 Zbl 1257.03041号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;阿卜杜尔·拉基布 2 2009 一种基于资源的代理的逻辑。 Zbl 1162.68662号 娜塔莎·亚历奇纳;布赖恩·洛根 2 2009 关于对应于一阶逻辑的可判定片段的可判定广义量词逻辑。 Zbl 0840.03005号 娜塔莎·亚历奇纳 2 1995 有效地减少偏好变化。 Zbl 1444.03022号 娜塔莎·亚历奇纳;刘芬荣;布赖恩·洛根 1 2018 变量之间的函数依赖性。 Zbl 0958.03007号 娜塔莎·亚历奇纳 1 2000 基于规则代理的基于偏好的信念修正。 Zbl 1170.03006号 娜塔莎·亚历奇纳;马克·贾戈;布赖恩·洛根 1 2008 结构化域上的模态量化。 Zbl 0953.03023号 约翰·范·本特姆;娜塔莎·亚历奇纳 1 1997 使用定理证明来验证代理程序的属性。 Zbl 1201.68068号 北阿勒奇纳州。;M.达斯坦尼。;Khan,F。;B·洛根。;梅耶,J.-J.Ch。 1 2010 表示资源边界下联盟能力的属性。 Zbl 1196.68242号 娜塔莎·亚历奇纳;布赖恩·洛根;阮黄雅(Nguyen Hoang Nga);阿卜杜尔·拉基布 1 2009 验证运球代理。 Zbl 1274.68205号 Trang、Doan Thu;布赖恩·洛根;娜塔莎·亚历奇纳 1 2010 验证资源型代理的系统。 Zbl 1475.68397号 娜塔莎·亚历奇纳;布赖恩·洛根 1 2016 缓冲几何图形的定性空间逻辑。 Zbl 1371.68260号 Du,鹤山;娜塔莎·亚历奇纳 1 2016 模态逻辑,用于对二元关系的无限并集和交集进行推理。 兹比尔1398.03084 娜塔莎·亚历奇纳;菲利普·巴尔比亚尼;德米特里·什卡托夫 1 2012 逻辑和代理编程语言。 Zbl 1394.68049号 娜塔莎·亚历奇纳 1 2013 具有存在形态的逻辑学。 Zbl 1144.03011号 娜塔莎·亚历奇纳;德米特里·什卡托夫 1 2006 多智能体系统中的建模规范说明和验证。 Zbl 1514.68304号 娜塔莎·亚历奇纳;布赖恩·洛根;迈赫迪·达斯塔尼 1 2018 联盟公告逻辑的验证和策略合成。 Zbl 1496.03066号 娜塔莎·亚历奇纳;汉斯·范·迪特马什;鲁斯塔姆·加利姆林;王拓 1 2021 具有群组公告和分布式知识的逻辑:完整性和表达能力。 Zbl 1515.03068号 托马斯·奥戈特内斯;娜塔莎·亚历奇纳;鲁斯塔姆·加利姆林 1 2022 资源边界多智能体系统验证逻辑的最新发展。 Zbl 07614715号 娜塔莎·亚历奇纳;布赖恩·洛根 1 2020 具有群组公告和分布式知识的逻辑:完整性和表达能力。 Zbl 1515.03068号 托马斯·奥戈特内斯;娜塔莎·亚历奇纳;鲁斯塔姆·加利姆林 1 2022 联盟公告逻辑的验证和策略合成。 Zbl 1496.03066号 娜塔莎·亚历奇纳;汉斯·范·迪特马什;鲁斯塔姆·加利姆林;王拓 1 2021 资源边界多智能体系统验证逻辑的最新发展。 Zbl 07614715号 娜塔莎·亚历奇纳;布赖恩·洛根 1 2020 具有个人、分布式和公共知识的联盟逻辑。 兹比尔1444.03021 托马斯·奥戈特内斯;娜塔莎·亚历奇纳 9 2019 具有分布式知识的组公告逻辑。 Zbl 07160604号 鲁斯塔姆·加利姆林;托马斯·奥戈特内斯;娜塔莎·亚历奇纳 三 2019 具有资源边界的交替时间时序逻辑。 Zbl 1444.03037号 Nguyen、Hoang Nga;娜塔莎·亚历奇纳;布赖恩·洛根;阿卜杜尔·拉基布 4 2018 联盟公告逻辑的模型检查。 Zbl 1515.68179号 鲁斯塔姆·加利姆林;娜塔莎·亚历奇纳;汉斯·范·迪特马什 4 2018 直觉主义模态逻辑:15年回顾。 Zbl 1454.03011号 查尔斯·斯图尔特;瓦莱里亚·德·佩瓦;娜塔莎·亚历奇纳 三 2018 关于资源约束逻辑的复杂性。 Zbl 1403.68136号 北阿勒奇纳州。;北布林。;德姆里,S。;B·洛根。 三 2018 有效地减少偏好变化。 Zbl 1444.03022号 娜塔莎·亚历奇纳;刘芬荣;布赖恩·洛根 1 2018 多智能体系统中的建模规范说明和验证。 Zbl 1514.68304号 娜塔莎·亚历奇纳;布赖恩·洛根;迈赫迪·达斯塔尼 1 2018 资源型ATL的模型检查,包括资源的生产和消耗。 Zbl 1371.68173号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;佛朗哥·雷蒙迪 7 2017 联盟和团体公告逻辑。 Zbl 1483.03007号 鲁斯塔姆·加利姆林;娜塔莎·亚历奇纳 5 2017 空闲的优点:资源代理逻辑的一个可判定片段。 Zbl 1402.68122号 娜塔莎·亚历奇纳;牛,尼尔斯;布赖恩·洛根;Nguyen、Hoang Nga 4 2017 关于资源受限逻辑的复杂性。 兹比尔1403.68137 娜塔莎·亚历奇纳;牛,尼尔斯;Stephane德米里;布赖恩·洛根 4 2016 验证资源型代理的系统。 Zbl 1475.68397号 娜塔莎·亚历奇纳;布赖恩·洛根 1 2016 缓冲几何图形的定性空间逻辑。 Zbl 1371.68260号 杜,鹤山;娜塔莎·亚历奇纳 1 2016 关于无意识知识的推理逻辑。 Zbl 1311.03032号 托马斯·奥戈特内斯;娜塔莎·亚历奇纳 7 2014 资源逻辑与资源生产的可决定模型检查。 Zbl 1366.68161号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;佛朗哥·雷蒙迪 7 2014 逻辑和代理编程语言。 Zbl 1394.68049号 娜塔莎·亚历奇纳 1 2013 关于二进制关系的无限并集和交集的推理的模态逻辑。 Zbl 1398.03084号 娜塔莎·亚历奇纳;菲利普·巴尔比亚尼;德米特里·什卡托夫 1 2012 资源有限联盟的逻辑。 Zbl 1252.03036号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;阿卜杜尔·拉基布 11 2011 带交集的(K_{n})中关于联合作用和联合能力的推理。 Zbl 1348.68251号 托马斯·奥戈特内斯;娜塔莎·亚历奇纳 4 2011 有限资源下的信念归属。 Zbl 1208.03018号 娜塔莎·亚历奇纳;布赖恩·洛根 三 2010 使用定理证明来验证代理程序的属性。 Zbl 1201.68068号 北阿勒奇纳州。;M.达斯坦尼。;Khan,F。;B·洛根。;梅耶,J.-J.Ch。 1 2010 验证运球代理。 Zbl 1274.68205号 Trang、Doan Thu;布赖恩·洛根;娜塔莎·亚历奇纳 1 2010 验证推理代理系统中的时间、内存和通信边界。 Zbl 1187.68571号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;阿卜杜尔·拉基布 4 2009 在有限资源下推理其他代理的信念。 Zbl 1257.03041号 娜塔莎·亚历奇纳;布赖恩·洛根;Nguyen、Hoang Nga;阿卜杜尔·拉基布 2 2009 一种基于资源的代理的逻辑。 Zbl 1162.68662号 娜塔莎·亚历奇纳;布赖恩·洛根 2 2009 表示资源边界下联盟能力的属性。 Zbl 1196.68242号 娜塔莎·亚历奇纳;布赖恩·洛根;阮黄雅(Nguyen Hoang Nga);阿卜杜尔·拉基布 1 2009 基于规则代理的基于偏好的信念修正。 Zbl 1170.03006号 娜塔莎·亚历奇纳;马克·贾戈;布赖恩·洛根 1 2008 句法知识的动力学。 兹比尔1118.03008 托马斯·奥戈特内斯;娜塔莎·亚历奇纳 15 2007 正在验证资源受限代理的空间和时间要求。 Zbl 1196.68284号 娜塔莎·亚历奇纳;皮耶乔治·贝尔托利;基亚拉·吉迪尼;马克·贾戈;布赖恩·洛根;卢西亚诺·塞拉菲尼 5 2007 证明直觉模态逻辑可判定性的一般方法。 Zbl 1106.03005号 娜塔莎·亚历奇纳;德米特里·什卡托夫 5 2006 具有存在形态的逻辑学。 Zbl 1144.03011号 娜塔莎·亚历奇纳;德米特里·什卡托夫 1 2006 在时间推理逻辑中对通信代理进行建模。 Zbl 1111.68661号 娜塔莎·亚历奇纳;布赖恩·洛根;马克·惠特西 7 2004 路径约束的模态透视图。 Zbl 1093.68032号 娜塔莎·亚历奇纳;斯特凡·德姆里;马尔滕·德·里杰克 10 2003 构造S4模态逻辑的范畴语义和克里普克语义。 Zbl 1005.03024号 娜塔莎·亚历奇纳;迈克尔·门德勒;瓦莱里亚·德·佩瓦;艾克·里特 27 2001 可达性逻辑:传递闭包逻辑的有效片段。 Zbl 0948.03022号 娜塔莎·亚历奇纳;尼尔·伊梅尔曼 5 2000 变量之间的函数依赖性。 Zbl 0958.03007号 娜塔莎·亚历奇纳 1 2000 有限结构的语法与语义。 Zbl 0884.03035号 娜塔莎·亚历奇纳;尤里·古里维奇 6 1997 结构化域上的模态量化。 Zbl 0953.03023号 约翰·范·本特姆;娜塔莎·亚历奇纳 1 1997 作为子结构逻辑的广义量化。 Zbl 0858.03051号 娜塔莎·亚历奇纳;米歇尔·范·兰巴金 4 1996 广义量词的对应性和完备性。 Zbl 0842.03032号 娜塔莎·亚历奇纳;米歇尔·范·兰巴金 三 1995 关于对应于一阶逻辑的可判定片段的可判定广义量词逻辑。 Zbl 0840.03005号 娜塔莎·亚历奇纳 2 1995 所有引用出版物 前5名被引用出版物 全部的 前5名226位作者引用 20 娜塔莎·亚历奇纳 12 布赖恩·洛根 7 帕维尔·G·瑙莫夫。 6 汉斯·皮特·范·迪特马什 4 Stéphane P.德姆里。 4 Nguyen、Hoang Nga 4 德米特里·什卡托夫 4 费尔南多·雷蒙多(Fernando Raymundo) 三 鲁斯塔姆·加利姆林 三 埃米利亚诺·洛里尼 三 埃里克·帕奎特 三 阿卜杜尔·拉基布 三 van Benthem,Johan F.A.K。 三 王燕京 2 托马斯·奥戈特内斯 2 菲利普·巴尔比亚尼 2 古拉姆·贝扎尼什维利 2 弗雷德里克·梅耶·伯内兰 2 牛,尼尔斯 2 陈清亮 2 蒂齐亚诺·达尔蒙特 2 梅迪·达斯坦尼(Mehdi M.Dastani)。 2 马尔滕·德·里杰克 2 德尔·卡门·冈萨雷斯(del Carmen González Huesca),卢尔德 2 卡亚·德乌瑟 2 劳尔·费尔瓦里 2 法语,蒂姆 2 查尔斯·格雷洛伊斯 2 彼得·格约尔·詹森 2 姜俊丽 2 罗马库兹涅茨 2 拉森,金·古尔德斯特朗 2 李彦军 2 利纳雷斯·阿雷瓦洛(Linares Arévalo)、皮拉尔·塞莱恩(Pilar Selene) 2 刘、胡 2 卡斯滕·卢茨 2 迈克尔·门德勒 2 Miranda Perea、Favio Ezequiel 2 马尔科·穆尼兹 2 穆拉诺,阿尼洛 2 尼古拉·奥利维蒂 2 格里戈里·奥尔霍维科夫。 2 朱塞佩·普里米埃罗 2 佛朗哥·雷蒙迪 2 丹尼尔·罗内达尔 2 米哈伊尔·尼古拉埃维奇·里巴科夫 2 阿卜杜勒·萨塔尔 2 斯蒂芬·谢勒 2 吉·斯尔巴 2 苏凯乐 2 陶,贾 2 韦布鲁克(Rineke Verbrugge) 1 萨姆森·艾布拉姆斯基 1 洛雷达纳·阿法纳西耶夫 1 马克·艾吉尔 1 马里奥·阿尔维亚诺 1 伊夫·安德雷 1 哈伊纳尔·安德雷卡 1 马塞洛·阿里纳斯 1 谢尔盖·阿特莫夫 1 法里德·阿尔肖 1 蒂娜·巴尔克 1 亚历山大·巴尔塔格 1 弗朗西斯科·贝拉迪内利 1 盖亚·贝拉迪内利 1 杰拉尔德·伯杰 1 马克·贝泽姆 1 尼科尔·比多特 1 史蒂文·伯德 1 帕特里克·布莱克本 1 伊莎贝尔·布洛赫 1 罗斯·波勒 1 伊莉莎·邦松 1 卡洛斯·卡莱罗 1 曹睿 1 卡隆、安妮·塞西尔 1 塞里托、塞雷内拉 1 查克拉巴蒂,帕塔·普拉蒂姆 1 陈爱祥 1 陈、陶璐 1 玛尔塔·恰尔迪亚·梅耶 1 Ivano A.Ciardelli。 1 贾尼斯·西鲁利斯 1 安东尼·科恩(Anthony G.Cohn)。 1 达里奥·科拉佐 1 斯特凡妮娅·科斯坦蒂尼 1 让·勒内,考托 1 佩雷拉·塞利亚·达科斯塔 1 法比亚诺·达尔皮亚斯 1 阿尼尔班·达斯古普塔 1 帕拉布·达斯古普塔 1 阿图尔·达维拉·加塞斯。 1 朱塞佩·德贾科莫 1 汉斯·德·尼维尔 1 瓦莱里亚·德·佩瓦 1 德巴比厄,丹尼斯 1 黛拉·莫妮卡,达里奥 1 戴维·德尔安纳 1 拉兹万·迪亚科内斯库 1 迪格纳姆,F.P.M。 …还有126位作者 全部的 前5名36篇连载文章中引用 14 逻辑、语言与信息杂志 10 人工智能 9 哲学逻辑杂志 9 合成 7 理论计算机科学 6 应用逻辑杂志 4 纯逻辑与应用逻辑年鉴 4 信息与计算 4 应用非经典逻辑杂志 三 符号逻辑杂志 三 MSCS公司。计算机科学中的数学结构 三 人工智能研究杂志 三 泛逻辑 三 计算机科学中的逻辑方法 2 信息处理信件 2 Studia Logica公司 1 信息学报 1 代数普遍性 1 Automatica公司 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 自动推理杂志 1 国际近似推理杂志 1 AI通信 1 国际代数与计算杂志 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 应用的分类结构 1 RAIRO公司。理论信息学及其应用 1 逻辑与逻辑哲学 1 经济与金融决策 1 多值逻辑与软计算杂志 1 符号逻辑述评 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 1 Logicheskie Issledovaniya公司 全部的 前5名在12个字段中引用 108 数学逻辑和基础(03-XX) 75 计算机科学(68至XX) 13 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 一般代数系统(08-XX) 三 范畴理论;同调代数(18-XX) 2 有序,格,有序代数结构(06-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 群论与推广(20-XX) 1 一般拓扑结构(54至XX) 1 统计学(62-XX) 按年份列出的引文