程序设计中的逻辑和代数方法杂志 简称: J.日志。阿尔盖布。方法计划。 出版商: 阿姆斯特丹爱思唯尔 ISSN公司: 2352-2208 在线: http://www.sciencedirect.com/science/journal/23522208 前任: 逻辑与代数程序设计杂志 评论: 期刊;索引封面到封面 已编制索引的文档: 529出版物(自2014年起) 索引的引用: 502出版物参考文献19284。 全部的 前5名最新问题 138(2024) 137(2024) 136(2024) 135(2023) 134(2023) 133(2023) 132(2023) 131(2023) 130(2023) 129(2022) 128(2022) 127(2022) 125(2022) 124(2022) 123(2021) 122(2021) 121(2021) 120(2021) 119(2021) 118(2021) 117(2020) 116(2020) 115(2020) 114(2020) 113(2020) 112(2020) 111(2020) 110(2020) 109(2019) 108(2019) 107(2019) 106(2019) 105(2019) 104(2019) 103(2019) 102(2019) 101(2018) 100(2018) 99(2018) 98(2018) 97(2018) 96(2018) 94(2018) 93(2017) 92(2017) 91(2017) 90(2017) 89(2017) 88(2017) 87(2017) 862017年第1期 85,第6号(2016) 852016年第2部分第5号 852016年第1部分第5号 852016年第4号 852016年第3号 852016年第2期 852016年第2部分第1号 852016年第1部分第1号 842015年第6号 842015年第5号 842015年第4号 842015年第3期 842015年第2期 842015年第1期 83,编号5-6(2014) 832014年第3-4号 832014年第2期 全部的 前5名作者 11 鲁道夫·伯格哈默 10 何塞·梅塞盖尔·瓜伊塔 8 伯恩哈德·莫勒 8 奥维,奥拉夫 8 温特,迈克尔 8 吉田、Nobuko 7 弗朗西斯科·杜兰 7 圣地亚哥埃斯科瓦尔 7 彼得·霍夫纳 7 伊万·拉内斯 7 雨果·托雷斯·维埃拉 6 卢卡·埃特罗 6 伊利亚州卡斯特拉尼 6 沃尔特·古特曼 6 Anna Ingólfsdóttir 6 直纪西田 6 鲁宾·鲁比奥 6 亚历山德拉·席尔瓦 6 弗朗西斯科·蒂齐 6 埃米利奥·托斯托 5 佛朗哥·巴巴内拉 5 马西莫·巴托莱蒂 5 Hitoshi Furusawa 5 卢多维奇·亨利奥 5 延斯·科索尔 5 多雷尔·卢卡努 5 萨尔瓦多卢卡斯 5 马丁·奥列特,纳西索 5 马丁斯(Manuel António Martins) 5 何塞·努诺·奥利维拉 5 佩雷斯(Jorge A.Pérez)。 5 卡米洛,罗查 5 乔塞普·席尔瓦 5 乔治·斯特鲁斯 5 加布里埃尔·坦泽尔 5 莫里斯·比克。 5 塔尔莫乌斯塔卢 4 玛丽亚·阿尔普特 4 马里奥·布拉维蒂 4 安德烈亚·科拉迪尼 4 乌戈·德利古罗 4 马里亚纽拉州Dezani-Ciancaglini 4 阿德里安·弗兰卡兰扎 4 霍尔格·吉斯 4 克里斯蒂安·约翰森 4 沃尔夫拉姆·卡尔 4 索菲亚·奈特 4 莱恩·兰伯斯 4 金·古德斯特兰·拉森 4 本杰明·利昂 4 亚历山大·马德拉 4 费尔南多·奥雷贾斯 4 约万卡·潘托维奇 4 伊恩·菲利普斯。 4 阿德里安·里斯科 4 弗拉德·鲁苏 4 朱莉娅·萨皮娜 4 马丁·斯特芬 4 沃尔克·斯托尔茨 4 卡罗琳·塔尔科特。 4 阿尔贝托·维尔德乔 三 安东尼斯·阿奇利奥斯 三 法哈德·阿尔巴 三 安德烈·阿鲁索艾 三 克莱门·奥伯特 三 罗兰·贝克豪斯(Roland C.Backhouse)。 三 黛米斯·巴利斯 三 巴博萨、路易斯·索亚雷斯 三 西蒙,布利兹 三 胡安·德·拉腊 三 法比奥·加杜奇 三 斯特凡妮娅·格内西 三 格雷弗森,伊娃 三 埃丝特·格拉 三 菲利普·哈勒 三 罗尔夫·亨尼克 三 埃纳尔·布罗赫·约翰森 三 川原康夫 三 德克斯特·C·科赞。 三 尼古拉·克里夫林(Nikolai K.Krivulin)。 三 路易斯·拉纳 三 卢赫·拉富恩特,阿尔贝托 三 马耳他州洛豪 三 马丁·马丁,恩里克 三 毛里齐奥·穆尔吉亚 三 伊莎贝尔·皮塔 三 垂直,Detlef 三 Ka I.潘。 三 托克塔姆Ramezanifarkhani 三 安托尼奥·拉瓦拉 三 格里高·罗什乌 三 马蒂奥·桑马蒂诺 三 阿尔切斯特·斯卡拉斯 三 杰拉尔多·施奈德 三 约瑟夫·西法基斯 三 吉·斯尔巴 三 约翰·G·斯特尔。 三 萨尔瓦多塔马利特 三 弗兰克·巴伦西亚。 三 德国维达尔 …和841多位作者 全部的 前5名领域 491 计算机科学(68至XX) 115 数理逻辑与基础(03-XX) 41 一般性和全局性主题;集合(00-XX) 25 范畴理论;同调代数(18-XX) 13 博弈论、经济学、金融和其他社会和行为科学(91-XX) 9 阶、格、有序代数结构(06-XX) 8 组合数学(05-XX) 8 运筹学、数学规划(90-XX) 7 一般代数系统(08-XX) 7 信息与通信理论、电路(94-XX) 4 历史与传记(01-XX) 4 线性代数和多线性代数;矩阵理论(15-XX) 4 群论与推广(20-XX) 4 一般拓扑结构(54至XX) 4 概率论与随机过程(60-XX) 三 生物学和其他自然科学(92-XX) 2 数论(11-XX) 2 交换代数(13-XX) 2 结合环与代数(16-XX) 2 数值分析(65-XX) 1 变分法与最优控制;最优化(49至XX) 1 凸和离散几何(52至XX) 1 流形和细胞复合体(57至XX) 1 粒子和系统力学(70-XX) 1 系统论;控制(93至XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 286出版物有被引用1055中的次759文件 引用人▼ 年份▼ 关于由不可约集定义的拓扑。 Zbl 1308.54019号 赵东生;Ho,翁金 37 2015 使用代数效果和处理程序进行编程。 Zbl 1304.68025号 安德烈·鲍尔;普雷特纳,马蒂亚 30 2015 莫德的编程和符号计算。 Zbl 1494.68109号 弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特,纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 21 2020 事件结构中的可逆性和不对称冲突。 Zbl 1330.68213号 伊恩·菲利普斯;伊雷克·乌利多夫斯基 20 2015 埃尔朗的可逆性理论。 Zbl 1400.68046号 伊万·拉内斯;直纪西田;阿德里安·帕拉西奥斯;德国维达尔 20 2018 从概率单子到交换效应。 Zbl 1382.68073号 巴特·雅各布斯 19 2018 条件重写中的正规形式和正规理论。 Zbl 1356.68124号 萨尔瓦多卢卡斯;何塞·梅塞盖尔 15 2016 基于元组的语言中的因果一致回滚。 Zbl 1362.68213号 埃琳娜·贾奇诺;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;弗朗西斯科·蒂齐 14 2017 关系解除,一项调查。 Zbl 1344.68167号 亚历山大·库兹;吉·维勒比尔 13 2016 Maude中的策略、模型检查和分支时间属性。 Zbl 1528.68233号 鲁宾·鲁比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 12 2021 广义重写理论、连贯完成和符号方法。 Zbl 1496.68166号 何塞·梅塞盖尔 12 2020 基于会话的可逆pi-calculus。 Zbl 1337.68075号 弗朗西斯科·蒂齐;吉田、Nobuko 11 2015 配置结构和可逆性中的上下文等效性。 Zbl 1353.68193号 克莱门·奥伯特;爱荷华州克里斯特斯库 11 2017 概率定时图变换系统。 Zbl 1400.68058号 玛丽亚·马克西莫娃;霍尔格·吉斯;克里斯蒂安·克劳斯 11 2018 连接逆范畴和可逆递归。 兹比尔1359.68045 罗宾·卡斯加德;博克·阿克塞尔森,霍尔格;罗伯特·格莱克 10 2017 代数模态对应:Sahlqvist及其他。 Zbl 1521.03031号 威廉·康雷迪;亚历山德拉·帕尔米吉亚诺;苏米特·苏拉布 10 2017 关于(mathcal{M})-粘合剂转化系统中冲突的本质和初始性。 Zbl 1435.68131号 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);安德烈亚·科拉迪尼;莱拉·里贝罗 10 2019 (受控)可逆CCS的事件结构语义。 Zbl 07377686号 格雷弗森,伊娃;伊恩·菲利普斯;吉田、Nobuko 10 2021 证明条件项重写系统终止性质的依赖对。 Zbl 1353.68155号 萨尔瓦多卢卡斯;何塞·梅塞盖尔 9 2017 序排序方程程序模公理的部分求值框架。 Zbl 1494.68048号 Alpunte,M。;A.昆卡-奥尔特加。;埃斯科瓦尔,S。;Meseguer,J。 9 2020 同步多方会话的精确子类型。 Zbl 1423.68306号 西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 9 2019 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;德尼卢,皮埃尔·马洛;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 8 2015 具有不可观测运动的余代数的行为等价性。 Zbl 1330.68195号 托马斯·布伦戈斯;马里诺·米库兰;马可·佩雷索蒂 8 2015 配置逻辑:建模架构风格。 Zbl 1353.68055号 马夫里杜,阿纳斯塔西娅;爱德华·巴拉诺夫;西蒙,布利兹;约瑟夫·西法基斯 8 2017 在空间和挤压的代数中,信仰、知识、谎言和其他话语。 Zbl 1353.68203号 米歇尔·古兹曼;斯特凡·哈尔;萨利姆·珀西;卡米洛·鲁埃达;弗兰克·巴伦西亚。 8 2017 PCF的非确定性和概率扩展的完全抽象。一: 天使般的案例。 Zbl 1304.68026号 让·古鲍特·拉雷克 8 2015 带有测试和分支自动机的并发Kleene代数。 Zbl 1344.68083号 彼得·吉普森;M.Andrew Moshier 8 2016 有序条件规范模公理的基础汇合。 Zbl 1498.68073号 弗朗西斯科·杜兰;何塞·梅塞盖尔;卡米洛,罗查 8 2020 PBPO图转换方法。 Zbl 1417.68075号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 8 2019 基于超边缘替换的图文法预测移位减少分析器的形式化和正确性。 Zbl 1423.68230号 法兰克·德雷维斯;伯特霍尔德·霍夫曼;马克·米纳斯 8 2019 用Stone关系代数验证最小生成树算法。 Zbl 1401.68247号 沃尔特·古特曼 8 2018 变量可满足性的元级算法。 Zbl 1430.68423号 斯蒂芬·斯基里克;何塞·梅塞盖尔 8 2018 产品族可变性建模和分析:具有可变性约束的模态转换系统的模型检查。 Zbl 1351.68170号 莫里斯·比克。;亚历山德罗·范特奇;斯特凡妮娅·格内西;佛朗哥,马赞蒂 8 2016 使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 Zbl 1509.68243号 艾丽卡·阿尔布拉汉姆;詹姆斯·H·达文波特。;英格兰,马修;基里恩·克莱默 8 2021 一种针对不可靠通信的鲁棒性的质量计算。 Zbl 1337.68041号 尼尔森、汉内·里斯;弗莱明·尼尔森;罗伯托·维戈 7 2015 生成多值动态逻辑的练习。 Zbl 1355.03023号 亚历山大·马德拉;内维斯、雷纳托;马丁斯(Manuel A.Martins)。 7 2016 线性代数的关系式法则和结构。 Zbl 1434.15016号 朱尔斯·德沙奈斯;阿纳斯塔西亚·格里南科;伯恩哈德·莫勒 7 2014 函数依赖的“Hoare逻辑”的关系代数方法。 Zbl 1434.68144号 JoséN·奥利维拉。 7 2014 马尔科夫过程代数中微分聚合的统一框架。 Zbl 1319.68151号 马克斯·柴科夫斯基;米尔科·特里巴斯通 7 2015 彩球的可实现性。 Zbl 1435.68213号 罗伯特·瓜夏莱;埃米利奥·托斯托 7 2019 确保分布式系统的活性属性:开放问题。 Zbl 1435.68216号 罗布·范格拉贝克 7 2019 对称Heyting关系代数及其超图应用。 兹比尔1330.03094 约翰·G·斯特尔。 6 2015 Orc的可执行重写逻辑语义和Orc程序的形式化分析。 Zbl 1329.68169号 穆萨布·A·阿尔图尔基。;何塞·梅塞盖尔 6 2015 重写模块SMT和开放系统分析。 Zbl 1353.68156号 卡米洛,罗查;何塞·梅塞盖尔;塞萨尔·穆尼奥斯 6 2017 Tarski-Kleene层次结构中的数学编程和自动化。 Zbl 1434.68637号 阿拉斯代尔·阿姆斯特朗;乔治·斯特鲁斯;Tjark韦伯 6 2014 从命令式到基于规则的图形程序。 Zbl 1362.68032号 垂直,Detlef 6 2017 最大化马尔可夫过程的熵。 Zbl 1371.68175号 法布里西奥·比昂迪;Legay、Axel;尼尔森,Bo Fries;安德烈·索夫斯基 6 2014 带有测试和可能非暂停程序代数的单体。 Zbl 1319.68085号 马塞尔·杰克逊;蒂姆·斯托克斯 6 2015 并发Kleene代数的发展。 Zbl 1344.68149号 你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱慧彪 6 2016 项重写中的可逆计算。 Zbl 1381.68107号 直纪西田;阿德里安·帕拉西奥斯;德国维达尔 6 2018 双教学模式逻辑:基础和自动化。 Zbl 1359.03018号 约翰·G·斯特尔。;Schmidt,Renate A。;大卫·赖德海尔 6 2016 推断正则语言和\(\omega \)-语言。 Zbl 1394.68211号 达纳·菲斯曼 6 2018 朝向可逆事件结构的分类表示。 Zbl 1427.68196号 格雷弗森,伊娃;伊恩·菲利普斯;吉田、Nobuko 6 2019 嵌套单位Petri网。 Zbl 1427.68195号 休伯特Garavel 6 2019 图的层次结构中的知识表示和更新。 Zbl 1441.68245号 哈默(Russ Harmer);尤金妮亚·奥舒尔科 6 2020 多党会议的组成和分解。 兹比尔1462.68120 佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;伊万·拉内斯;埃米利奥·托斯托 6 2021 结合关系代数和数据求精,开发基于矩形的自反传递闭包函数程序。 Zbl 1329.68062号 鲁道夫·伯格哈默;塞巴斯蒂安·费舍尔 5 2015 产品程序和关系程序逻辑。 Zbl 1355.68047号 吉尔·巴特;克雷斯波、胡安·曼努埃尔;塞萨尔·库茨 5 2016 作为计算效果的连续性。 Zbl 1355.68059号 内维斯、雷纳托;路易斯·巴博萨。;德克·霍夫曼;马丁斯(Manuel A.Martins)。 5 2016 ST-结构。 Zbl 1353.68208号 克里斯蒂安·约翰森 5 2016 树自动机完成的终止标准。 Zbl 1356.68132号 托马斯·杰奈特 5 2016 语言定义是重写理论。 Zbl 1356.68125号 弗拉德·鲁苏;多雷尔·卢卡努;Şerbănuţă,特拉恩·弗洛林;安德烈·阿鲁索艾;安德烈·特夫内斯库;格里高·罗什乌 5 2016 面向合同的系统的可验证抽象。 Zbl 1353.68194号 马西莫·巴托莱蒂;毛里齐奥·穆尔吉亚;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺 5 2017 SOS规范的一些不确定属性。 Zbl 1359.68196号 巴托克·克林;比塔·纳希 5 2017 具有无限计算的多重关系。 Zbl 1371.68172号 沃尔特·古特曼 5 2014 一个完善的推理系统,用于与共享未来进行异步通信。 Zbl 1371.68190号 丁,Crystal Chang;奥维,奥拉夫 5 2014 通过运行时断言检查和跟踪切片调试Maude程序。 Zbl 1348.68027号 玛丽亚·阿尔普特;黛米斯·巴利斯;弗朗西斯科·弗雷奇纳;朱莉娅·萨皮娜 5 2016 关系格:从数据库到泛代数。 Zbl 1372.68081号 塔德乌兹·利塔克;米库拉斯(Mikulás,Szabolcs);希德斯,简 5 2016 行为规范理论的线性时间分支时间谱。 Zbl 1433.68214号 乌里·法伦贝格;Legay、Axel 5 2020 多方会话类型,超越二元性。 Zbl 1395.68199号 阿尔切斯特·斯卡拉斯;吉田、Nobuko 5 2018 图转换系统中冲突和依赖的粒度:二维方法。 Zbl 1417.68078号 莱恩·兰伯斯;克里斯托弗出生;延斯·科索尔;丹尼尔·斯特吕贝尔;加布里埃尔·坦泽尔 5 2019 Petri网的顽固与结构简化。 Zbl 1407.68330号 弗雷德里克·伯内兰。;雅各布·迪尔;彼得·詹森(Peter G.Jensen)。;麦德斯·约翰森;吉·斯尔巴 5 2019 公理化有限状态行为的无限概率弱相似性。 Zbl 1408.68101号 尼克·菲舍尔;罗布·范格拉贝克 5 2019 在活动结构上签订游戏合同。 Zbl 1352.68174号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;米歇尔·平纳,G。;罗伯托·祖尼诺 5 2016 通过反应系统中的图形浏览进行图形变换。 兹比尔1435.68135 Hans-Jörg Kreowski;Grzegorz罗岑贝格 5 2019 从分布式协调到场微积分和聚合计算。 Zbl 1435.68049号 米尔科·维罗利;雅各布·比尔;费卢西奥·达米亚尼;乔治·奥德里托;罗伯特·卡萨迪;丹尼尔·皮亚尼尼 5 2019 关系的基数和关系近似算法。 Zbl 1351.68152号 鲁道夫·伯格哈默;彼得·霍夫纳;Stucke,Insa公司 5 2016 比较类型系统的死锁自由度。 Zbl 1477.68177号 奥尔内拉·达达;佩雷斯(Jorge A.Pérez)。 5 2022 带键网络中的可逆计算。 Zbl 1505.68028号 安娜·菲利普;基里亚基·帕萨拉 5 2022 并发分离逻辑与并发Kleene代数的关系。 Zbl 1330.03072号 O'Hearn,Peter W。;拉斯穆斯·彼得森。;朱尔斯·维拉德;阿克巴侯赛因 4 2015 Coq中Kleene代数项等价性的判定。 Zbl 1329.68232号 内尔玛·莫雷拉;大卫·佩雷拉;西芒,索萨甜瓜 4 2015 数据库首选项代数。 Zbl 1329.68094号 伯恩哈德·莫勒;帕特里克·鲁克斯 4 2015 用棒棒糖、叉子、杯子、帽子、蛇和速度计进行等式推理。 Zbl 1375.18027号 拉尔夫·欣泽;丹·马斯登 4 2016 历史保持互模拟下的事件结构约简。 Zbl 1392.68281号 阿贝尔·阿玛斯·塞万提斯;保罗·巴尔丹;卢西亚诺加西亚·巴努埃洛斯 4 2016 密码协议中建立基于等价性属性的符号方法综述。 Zbl 1359.68023号 德莱恩,斯特凡尼;卢卡·赫斯基 4 2017 用关系代数求解有限拓扑上的计算任务重新查看工具。 Zbl 1362.68297号 鲁道夫·伯格哈默;温特,迈克尔 4 2017 软并发约束规划的观察和行为等效性。 Zbl 1373.68176号 法比奥·加杜奇;弗朗西斯科·桑蒂尼;路易斯·皮诺。;弗兰克·巴伦西亚。 4 2017 完全集成模糊逻辑语言的阈值语义框架。 Zbl 1372.68053号 帕斯夸尔·朱利安·伊兰佐;莫雷诺,吉纳斯;詹姆·佩纳巴德 4 2017 使用递归确定HML的监控器。 Zbl 1494.68155号 卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松,Svarrn 4 2020 基于度量的马尔可夫链近似最小化。 Zbl 1400.68098号 乔瓦尼·巴奇;乔治·巴奇;Larsen,Kim G。;拉杜·马达尔 4 2018 基于区间值S-蕴涵的模糊推理的五重蕴涵原理。 Zbl 1400.68221号 李德超;秦思健 4 2018 热带半域中多维优化问题的完全代数解。 Zbl 1412.90143号 尼古拉·克里夫林 4 2018 使用类型图指定图形语言。 Zbl 1423.68248号 安德烈亚·科拉迪尼;芭芭拉·柯尼格;丹尼斯·诺尔特 4 2019 将两个基于自动机的编排和舞蹈模型联系起来。 Zbl 1352.68125号 D.巴兹利。;德加诺,P。;法拉利,G.L。;托斯托,E。 4 2016 社交网络的标记图策略重写。 Zbl 1430.68134号 玛丽贝尔·费尔南德斯;赫莱内·基什内尔;布鲁诺·皮诺;贾森·瓦莱特 4 2018 伴随逻辑的传递信息解释。 Zbl 1518.68237号 普拉克斯马,克拉斯;弗兰克·芬宁 4 2021 检查基于参数化组件的系统的死锁自由度。 Zbl 1455.68102号 马吕斯·博兹加;拉杜·奥西夫;约瑟夫·西法基斯 4 2021 笛卡尔函子范畴中的双推重写:重写理论及其在部分三重图中的应用。 Zbl 1452.68096号 延斯·科索尔;弗里奇,拉尔斯;安迪·舒尔;加布里埃尔·坦泽尔 4 2020 使用Maude中的策略对膜系统进行模拟和模型检查。 Zbl 07432501号 鲁宾·鲁比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 4 2022 异步组件的行为语义。 Zbl 1407.68271号 阿穆尔·布利法,R。;亨利奥,L。;O.库兰基纳。;Madelaine,E。;A.萨武。 三 2017 同步洗牌表达式的位置自动机。 Zbl 07665438号 萨宾·布罗达;安东尼奥·马基雅维罗;内尔玛·莫雷拉;罗杰里奥·里斯 2 2023 作曲改写理论基础。 Zbl 07741959号 尼古拉斯·贝尔;哈默(Russ Harmer);吉恩·克里文 2 2023 用PBPO(^+)重写和重新标记图:拟拓扑的统一理论。 兹比尔1512.68131 Overbeek,罗伊;恩德鲁利斯,约尔格;阿洛依斯·罗塞特 2 2023 多方会话的事件结构语义。 Zbl 1512.68163号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·詹尼尼 2 2023 在Guarded Cubical Agda中形式化CCS和\(\pi\)-演算。 Zbl 1512.68176号 尼科洛Veltri;安德烈亚·维佐西 2 2023 验证Dafny中可变线性数据结构和基于迭代器的算法。 Zbl 07723896号 豪尔赫·布拉兹奎兹;黑山,曼努埃尔;克拉拉·塞古拉 1 2023 用于双推出重写的广义并发规则构造:广义并发定理和语言保护规则应用。 Zbl 1529.68134号 延斯·科索尔;加布里埃尔·坦泽尔 1 2023 通过莫德的可编程策略实施安全。 Zbl 07665440号 Alpunte,M。;D.巴利斯。;埃斯科瓦尔,S。;D.加兰。;萨皮尼亚,J。 1 2023 具有高阶UTP的simulink的指称语义。 Zbl 07618116号 徐,熊;詹伯华;王淑玲;Jean-Pierre塔宾;詹乃军 1 2023 GP 2的一阶二阶错误逻辑。 Zbl 1529.68082号 克里斯托弗·波斯基特(Christopher M.Poskitt)。;垂直,Detlef 1 2023 图形条件的评估多样性。 Zbl 1512.68132号 斯文·施奈德;莱恩·兰伯斯 1 2023 用于与嵌套图形条件匹配的增量图形模式的主机粒度敏感RETE网络。 Zbl 1512.68064号 马提亚斯·巴考斯基;霍尔格·吉斯 1 2023 比较类型系统的死锁自由度。 Zbl 1477.68177号 奥尔内拉·达达;佩雷斯(Jorge A.Pérez)。 5 2022 带键网络中的可逆计算。 Zbl 1505.68028号 安娜·菲利普;基里亚基·帕萨拉 5 2022 使用Maude中的策略模拟和模型检查膜系统。 兹比尔07432501 鲁本·卢比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 4 2022 Hypergraph Lambek语法。 Zbl 07595224号 蒂昆·普什尼琴 三 2022 Plotkin的call-by-value\(\lambda \)-演算是一种模态演算。 Zbl 07531442号 何塞·埃斯皮里托·桑托;路易斯·平托;塔尔莫乌斯塔卢 2 2022 战略的元层次转换。 Zbl 07432502号 鲁宾·鲁比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 2 2022 针对测试的过程:定义上下文等效性。 Zbl 07595225号 克莱门·奥伯特;丹尼尔·瓦拉卡 2 2022 分级认知逻辑与公告。 Zbl 1491.03013号 贝内维迪斯,马里奥;亚历山大·马德拉;马丁斯(Manuel A.Martins)。 1 2022 对经过验证的编译器在安全计算中的作用的形式化处理。 Zbl 07485817号 何塞·卡洛斯·巴塞拉·阿尔梅达;曼纽尔·巴博萨;吉尔·巴特;雨果·帕切科;维托·佩雷拉;伯纳多·波特拉 1 2022 有限线性时间逻辑的表结构。 兹比尔07485818 塞缪尔·黄;兰斯·克莱维兰 1 2022 保护信息流连接。 Zbl 07531437号 钱德里卡·巴德瓦吉;桑吉瓦·普拉萨德 1 2022 Moessner定理的形式化及其推广Nuprl公司. Zbl 07432496号 马克·比克福德;德克斯特·科赞;亚历山德拉·席尔瓦 1 2022 可逆早期内部演算的事件结构。 Zbl 1482.68152号 格雷弗森,伊娃;伊恩·菲利普斯;吉田、Nobuko 1 2022 通过等式部分评估优化重写理论。 Zbl 1477.68136号 Alpunte,M。;D.巴利斯。;埃斯科瓦尔,S。;萨皮尼亚,J。 1 2022 图的成分和非循环性。精确与简洁相结合的练习。 Zbl 1481.68034号 罗兰·巴克豪斯;亨克·多恩博斯;罗兰·格里克;雅普·范德沃德 1 2022 会话类型的并发合同。 Zbl 1487.68165号 汉娜·贡默施塔特;贾利民;弗兰克·芬宁 1 2022 Maude中的策略、模型检查和分支时间属性。 Zbl 1528.68233号 鲁宾·鲁比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 12 2021 (受控)可逆CCS的事件结构语义。 Zbl 07377686号 格雷弗森,伊娃;伊恩·菲利普斯;吉田、Nobuko 10 2021 使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 兹比尔1509.68243 艾丽卡·阿尔布拉汉姆;詹姆斯·H·达文波特。;英格兰,马修;基里恩·克莱默 8 2021 多党会议的组成和分解。 Zbl 1462.68120号 佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;伊万·拉内斯;埃米利奥·托斯托 6 2021 伴随逻辑的传递信息解释。 Zbl 1518.68237号 普拉克斯马,克拉斯;弗兰克·芬宁 4 2021 检查基于参数化组件的系统的死锁自由度。 Zbl 1455.68102号 马吕斯·博兹加;拉杜·奥西夫;约瑟夫·西法基斯 4 2021 预序幺半群的Schreier分裂扩张。 Zbl 07363408号 纳尔逊·马丁斯·费雷拉;曼努埃拉·索布拉尔 三 2021 上下文敏感重写的应用和扩展。 Zbl 1518.68157号 萨尔瓦多卢卡斯 三 2021 用于推理图形属性的导航逻辑。 Zbl 1455.68147号 玛丽莎·纳瓦罗;费尔南多·奥雷贾斯;埃尔维拉·皮诺;莱恩·兰伯斯 三 2021 匹配逻辑已解释。 Zbl 1518.68047号 陈晓红;多雷尔·卢卡努;格里高·罗什乌 三 2021 平等否定和其他认知覆盖任务的动态认知逻辑分析。 Zbl 1502.68195号 汉斯·范·迪特马什;埃里克·古堡;马里亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 三 2021 计算机说不:使用本地证明系统对运行时监控器进行裁决解释。 Zbl 1455.68103号 阿德里安·弗兰卡兰扎;克莱尔·西尼 三 2021 带记忆的软约束自动机。 Zbl 1455.68087号 Dokter,Kasper公司;法比奥·加杜奇;本杰明·利昂;弗朗西斯科·桑蒂尼 2 2021 使用分散不变量进行更简单的证明。 Zbl 1518.68048号 Jean-Christophe Filliátre 2 2021 推理具有无限多代理的分布式信息。 Zbl 1518.68401号 米歇尔·古兹曼;索菲亚·奈特;圣地亚哥金特罗;塞尔吉奥·拉米雷斯;卡米洛·鲁埃达;弗兰克·巴伦西亚 2 2021 事件结构中的冲突与因果关系。 Zbl 1509.68186号 丹尼尔·戈拉;伊万诺·萨尔沃 2 2021 基于多集的排序算法综合枣灰蝶属. Zbl 1455.68245号 mnesc博士,Isabela;都铎Jebelean 2 2021 决定矩阵增长的Perron-Frobenius定理。 Zbl 1528.68394号 雷内·蒂曼 1 2021 BPMN流程的资源供应策略:使用Maude进行规范和分析。 Zbl 1528.68217号 弗朗西斯科·杜兰;卡米洛,罗查;格温·萨拉恩 1 2021 关于检查模拟脚本的等效性。 Zbl 1518.68212号 托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 1 2021 行为合同合规的定点框架。 兹比尔1518.68236 毛里齐奥·穆尔吉亚 1 2021 Coq.中动态互模拟定理的验证。 Zbl 1518.68418号 劳尔·费尔瓦里;弗朗西斯科·特鲁科;贝塔·齐利安尼 1 2021 非对偶模态算子是混合逻辑中四值可及性关系的基础。 Zbl 07377681号 戴安娜·科斯塔;马丁斯(Manuel A.Martins)。 1 2021 基于事件的时间戳索赔逻辑。 Zbl 07377685号 詹姆·拉莫斯;若昂·拉斯加;克里斯蒂娜·瑟纳达斯;卢卡·维甘诺 1 2021 认证区块链的Findel衍生品。 Zbl 1518.91271号 安德烈·阿鲁索艾 1 2021 将补偿处理的原语作为可适应的进程。 兹比尔1518.68231 乔瓦娜·德迪奇;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。 1 2021 软件定义网络的基于角色的模型检查。 Zbl 1455.68101号 艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米格尔·伊莎贝尔;阿尔伯特·鲁比奥;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 1 2021 良好的结构、安全性和可靠性:BPMN协作的正式分类。 Zbl 1458.90393号 弗拉维奥·科拉迪尼;安德烈亚·莫里切塔;奇亚拉穆兹;Re,芭芭拉;弗朗西斯科·蒂齐 1 2021 莫德的编程和符号计算。 Zbl 1494.68109号 弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特,纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 21 2020 广义重写理论、连贯完成和符号方法。 Zbl 1496.68166号 何塞·梅塞盖尔 12 2020 序排序方程程序模公理的部分求值框架。 Zbl 1494.68048号 Alpunte,M。;A.昆卡-奥尔特加。;埃斯科瓦尔,S。;Meseguer,J。 9 2020 有序条件规范模公理的基础汇合。 Zbl 1498.68073号 弗朗西斯科·杜兰;何塞·梅塞盖尔;卡米洛,罗查 8 2020 图的层次结构中的知识表示和更新。 Zbl 1441.68245号 哈默(Russ Harmer);尤金妮亚·奥斯赫科 6 2020 行为规范理论的线性时间分支时间谱。 Zbl 1433.68214号 乌里·法伦贝格;Legay、Axel 5 2020 使用递归确定HML的监控器。 Zbl 1494.68155号 卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松,Svarrn 4 2020 笛卡尔函子范畴中的双推重写:重写理论及其在部分三重图中的应用。 Zbl 1452.68096号 延斯·科索尔;弗里奇,拉尔斯;安迪·舒尔;加布里埃尔·坦泽尔 4 2020 一种用于高阶逻辑的验证验证检查器。 Zbl 1433.68527号 奥斯卡·亚伯拉罕森 三 2020 为模型转换规则构造优化的约束保持应用条件。 兹比尔1451.68140 内布拉斯加州纳赛尔;延斯·科索尔;托尔斯滕·阿伦特;加布里埃尔·坦泽尔 三 2020 群上扩展有限自动机的群记忆复杂性。 Zbl 1462.68099号 费尔南多·阿罗约;维克托·米特拉纳;安德烈·佩恩;佩恩,米哈拉;桑切斯·库索(Sanchez Couso)、何塞·拉蒙(Jose Ramon) 三 2020 用句法理论函子指定。 Zbl 1433.68221号 马格尼·哈夫雷恩;马库斯·罗根巴赫 2 2020 在Petri网中结合了自由选择和时间。 Zbl 1451.68190号 阿克西,S。;洛依茨海露;拉姆昌德拉·帕瓦德 2 2020 经典计算的强归一化抽象模型。 兹比尔1494.68055 保罗·唐恩;菲利普·约翰森·弗雷德;泽纳·M·阿里奥拉。 2 2020 路径的关系特征。 Zbl 1462.05198号 鲁道夫·伯格哈默;Hitoshi Furusawa;沃尔特·古特曼;彼得·霍夫纳 2 2020 具有域的自由Kleene代数。 兹比尔1484.08014 布雷特·麦克莱恩 2 2020 撒网:展开的统一方法。 Zbl 1433.68258号 G.Michele Pinna;埃里克·法布雷 1 2020 过程计算作为研究协调、合同和会话类型的工具。 Zbl 1476.68167号 马里奥·布拉维蒂;吉安路易吉·扎瓦塔罗 1 2020 识别特征公式的复杂性。 Zbl 1433.68163号 卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 1 2020 部分谓词抽象和反例引导精化。 Zbl 1494.68177号 图巴·亚武兹 1 2020 参数区间概率时间自动机的一致性。 Zbl 1494.68157号 埃蒂安·安德烈;贝诺·德拉哈耶;波林·福尼尔 1 2020 利用模型中的访问模式声明实现异构系统中的内存一致性。 Zbl 1494.68043号 卢多维奇·亨利奥;克里斯托夫·凯斯勒;李璐 1 2020 并发图形再写过程的微积分。 Zbl 1494.68115号 盖扎·库尔斯阿尔;安德烈亚·科拉迪尼;马耳他州洛豪 1 2020 具有先进先出通信信道的系统的可实现因果一致可逆编排。 Zbl 1451.68191号 莫尼卡卡普斯·科拉尔 1 2020 广义图模式匹配的混合搜索计划生成。 Zbl 1451.68198号 马提亚斯·巴考斯基;霍尔格·吉斯 1 2020 无替代性:分离过程结石的标准。 Zbl 1462.68126号 罗萨里奥·普格利泽;弗朗西斯科·蒂齐 1 2020 从全球编舞到可验证的高效分布式实现。 Zbl 1452.68125号 穆罕默德·贾比尔;伊利耶斯·法尔科内;保罗·阿蒂;阿巴斯·哈利勒;哈拉尔(Rayan Hallal);安托万·埃尔·霍卡耶姆 1 2020 具有切比雪夫距离和直线距离的极小极大单设施约束定位问题的代数解。 Zbl 1455.90102号 尼古拉·克里夫林 1 2020 关于(mathcal{M})-粘合剂转化系统中冲突的本质和初始性。 Zbl 1435.68131号 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);安德烈亚·科拉迪尼;莱拉·里贝罗 10 2019 同步多方会话的精确子类型。 Zbl 1423.68306号 西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 9 2019 PBPO图转换方法。 Zbl 1417.68075号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 8 2019 基于超边缘替换的图文法预测移位减少分析器的形式化和正确性。 Zbl 1423.68230号 法兰克·德雷维斯;伯特霍尔德·霍夫曼;马克·米纳斯 8 2019 pomsets的可实现性。 兹比尔1435.68213 罗伯特·瓜夏莱;埃米利奥·托斯托 7 2019 确保分布式系统的活性属性:开放问题。 Zbl 1435.68216号 罗布·范格拉贝克 7 2019 朝向可逆事件结构的分类表示。 Zbl 1427.68196号 格雷弗森,伊娃;伊恩·菲利普斯;吉田、Nobuko 6 2019 嵌套单位Petri网。 Zbl 1427.68195号 休伯特Garavel 6 2019 图转换系统中冲突和依赖的粒度:二维方法。 Zbl 1417.68078号 莱恩·兰伯斯;克里斯托弗出生;延斯·科索尔;丹尼尔·斯特吕贝尔;加布里埃尔·坦泽尔 5 2019 Petri网的顽固与结构简化。 Zbl 1407.68330号 弗雷德里克·伯内兰。;雅各布·迪尔;彼得·詹森(Peter G.Jensen)。;麦德斯·约翰森;吉·斯尔巴 5 2019 公理化有限状态行为的无限概率弱相似性。 Zbl 1408.68101号 尼克·菲舍尔;罗布·范格拉贝克 5 2019 在反应系统中通过图形冲浪进行图形转换。 Zbl 1435.68135号 汉斯·约尔格·克鲁斯基;Grzegorz罗岑贝格 5 2019 从分布式协调到场微积分和聚合计算。 Zbl 1435.68049号 米尔科·维罗利;雅各布·比尔;费卢西奥·达米亚尼;乔治·奥德里托;罗伯特·卡萨迪;丹尼尔·皮亚尼尼 5 2019 使用类型图指定图形语言。 Zbl 1423.68248号 安德烈亚·科拉迪尼;芭芭拉·柯尼格;丹尼斯·诺尔特 4 2019 关于系列平行的pomset语言:合理性、上下文无关性和自动机。 Zbl 1417.68134号 托比亚斯·卡佩;保罗·布鲁内特;巴斯鲁提克;亚历山德拉·席尔瓦;法比奥·扎纳西 三 2019 活动对象的交互范例评估。 Zbl 1417.68023号 卡拉米,法尔扎内;奥维,奥拉夫;托克塔姆Ramezanifarkhani 三 2019 …以及186多个文档 所有引用出版物 前5名被引用出版物 全部的 前5名被1061位作者引用 17 伊万·拉内斯 16 何塞·梅塞盖尔·瓜伊塔 14 沃尔特·古特曼 13 徐晓泉 12 马里亚纽拉州Dezani-Ciancaglini 12 圣地亚哥埃斯科瓦尔 12 巴特·雅各布斯 11 萨尔瓦多卢卡斯 10 克劳迪奥·安塔雷斯·梅齐纳 10 朱莉娅·萨皮娜 10 赵东生 9 鲁道夫·伯格哈默 9 亚历山德拉·帕尔米吉亚诺 9 鲁宾·鲁比奥 9 埃米利奥·托斯托 8 玛丽亚·阿尔普特 8 佛朗哥·巴巴内拉 8 威廉·康雷迪 8 霍尔格·吉斯 8 亚历山大·马德拉 8 马丁·奥列特,纳西索 8 伯恩哈德·莫勒 8 佩雷斯(Jorge A.Pérez)。 8 垂直,Detlef 8 吉田、Nobuko 8 法比奥·扎纳西 7 卢卡·埃特罗 7 伊利亚州卡斯特拉尼 7 弗朗西斯科·杜兰 7 法比奥·加杜奇 7 罗伯特·格莱克 7 克里斯蒂安·约翰森 7 罗宾·卡斯加德 7 李庆国 7 卢静 7 马丁斯(Manuel António Martins) 7 玛丽亚·马克西莫娃 7 斯文·施奈德 7 亚历山德拉·席尔瓦 7 乔治·斯特鲁斯 7 德国维达尔 7 王凯云 6 黛米斯·巴利斯 6 马西莫·巴托莱蒂 6 乌里·法伦贝格 6 保拉·詹尼尼 6 劳尔·古铁雷斯 6 Anna Ingólfsdóttir 6 彼得·吉普森 6 托比亚斯·卡佩 6 尼古拉·克里夫林(Nikolai K.Krivulin)。 6 金·古德斯特兰·拉森 6 Legay、Axel 6 弗莱明·尼尔森 6 奥维,奥拉夫 6 伊恩·菲利普斯。 6 汉内·里斯·尼尔森 6 朱里安·罗特 6 弗兰克·巴伦西亚。 6 罗伯特·詹·范·格拉贝克 6 赵斌 5 克莱门·奥伯特 5 巴博萨、路易斯·索亚雷斯 5 尼古拉斯·贝尔 5 乌戈·德利古罗 5 阿德里安·弗兰卡兰扎 5 罗斯·霍恩 5 延斯·科索尔 5 埃尔南·梅尔格拉蒂 5 乌卡斯·米库尔斯基 5 内维斯、雷纳托 5 费尔南多·奥雷贾斯 5 G.Michele Pinna 5 伊莎贝尔·皮塔 5 阿德里安·里斯科 5 加布里埃尔·坦泽尔 5 莫里斯·比克。 5 米尔科·特里巴斯通 5 安德烈·范丁 5 阿尔贝托·维尔德乔 4 贝内维特斯,马里奥·R·F·。 4 菲利波·邦奇 4 保罗·布鲁内特 4 安德烈亚·科拉迪尼 4 恩德鲁利斯,约尔格 4 达纳·菲斯曼 4 罗伯托·戈里埃里 4 钟曼,宋世堂。 4 莱恩·兰伯斯 4 萨姆·林德利 4 多雷尔·卢卡努 4 拉杜·马达尔 4 马克·米纳斯 4 内尔玛·莫雷拉 4 托比亚斯·尼普科 4 何塞·努诺·奥利维拉 4 Overbeek,罗伊 4 维托尔德·佩德里茨 4 安娜·菲利普 4 普雷特纳,马蒂亚 …还有961位作者 全部的 前5名81种期刊引用 133 程序设计中的逻辑和代数方法杂志 60 计算机科学中的逻辑方法 36 理论计算机科学 18 计算的形式方面 18 骨髓间充质干细胞。计算机科学中的数学结构 16 拓扑及其应用 14 信息与计算 12 信息学报 11 自动推理杂志 11 函数编程杂志 6 国际近似推理杂志 6 计算机基础理论 5 代数普遍性 4 信息处理信件 三 模糊集与系统 三 信息科学 三 符号计算杂志 三 国际计算机科学基础杂志 三 维斯特尼克圣彼得堡大学。数学 三 应用分类结构 三 菲洛马 三 范畴的理论与应用 三 数学与人工智能年鉴 三 软计算 三 逻辑程序设计理论与实践 三 ACM计算逻辑事务 2 休斯顿数学杂志 2 洛基山数学杂志 2 纯逻辑与应用逻辑年鉴 2 实时系统 2 国际代数与计算杂志 2 数学学报。英语系列 2 SibirskieÈlektronnye Matematicheskie Izvestiya公司 2 计算机科学中的数学 2 计算机科学前沿 2 开放数学 1 离散数学 1 数学物理杂志 1 物理A 1 应用数学与计算 1 Automatica公司 1 卡罗莱纳大学数学评论 1 计算 1 代数杂志 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 符号逻辑杂志 1 凯贝内提卡 1 Monatsheft für Mathematik 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 半群论坛 1 Studia Logica公司 1 合成 1 订单 1 人工智能通信 1 数学应用 1 离散事件动态系统 1 线性代数及应用 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 计算系统理论 1 洛巴切夫斯基数学杂志 1 逻辑与代数程序设计杂志 1 逻辑与逻辑哲学 1 自然计算 1 代数杂志及其应用 1 应用逻辑杂志 1 伊朗模糊系统杂志 1 Annali dell'费拉拉大学。塞齐奥内七世。Scienze Matematiche公司 1 泛逻辑 1 非交换几何杂志 1 符号逻辑述评 1 对称 1 马哈尼数学研究中心学报 1 环球数学与数学科学杂志 1 数学科学 1 Modelirovanie i Analiz信息系统 1 膜计算杂志 全部的 前5名32个字段中引用 644 计算机科学(68至XX) 168 数学逻辑和基础(03-XX) 63 范畴理论;同调代数(18-XX) 54 阶、格、有序代数结构(06-XX) 39 一般拓扑结构(54至XX) 16 博弈论、经济学、金融和其他社会和行为科学(91-XX) 14 组合数学(05-XX) 14 量子理论(81-XX) 14 运筹学、数学规划(90-XX) 12 一般代数系统(08-XX) 12 概率论与随机过程(60-XX) 11 一般性和全局性主题;集合(00-XX) 11 信息与通信理论、电路(94-XX) 8 线性代数和多线性代数;矩阵理论(15-XX) 6 群论与推广(20-XX) 6 数值分析(65-XX) 6 系统论;控制(93至XX) 5 生物学和其他自然科学(92-XX) 4 统计学(62-XX) 三 结合环与代数(16-XX) 三 常微分方程(34-XX) 2 功能分析(46倍X倍) 2 代数拓扑(55-XX) 1 数论(11-XX) 1 场论和多项式(12-XX) 1 代数几何(14-XX) 1 非结合环与代数(17-XX) 1 拓扑群、李群(22-XX) 1 测量和集成(28-XX) 1 算子理论(47-XX) 1 凸和离散几何(52至XX) 1 统计力学,物质结构(82-XX) 按年份列出的引文