编辑配置文件（在新选项卡中打开） 安德鲁·雷诺兹 合著者距离 作者ID： 雷诺兹·安德鲁 发布日期： 安德鲁·雷诺兹 已编制索引的文档： 47出版物自2002年以来，包括1本书 合著者： 54位合著者具有46联合出版物 830名合作作者 全部的 前5名合著者 1 单作者的 35 塞萨尔·蒂内利 33 克拉克·W·巴雷特。 9 Barbosa，哈尼尔 8 艾娜·尼梅茨 8 马蒂亚斯·普雷纳 7 安德烈斯·诺兹利 7 尤尼·佐哈尔 5 Deters，摩根 4 维克多·昆卡 4 盛英 三 克什蒂吉·班萨尔 三 贾斯敏·克里斯蒂安·布兰切特 三 金，蒂姆 三 梁天一 2 大卫·L·迪尔。 2 帕斯卡·方丹 2 沃尔夫冈·格里斯坎普 2 莉安娜·哈达伦 2 拉杜·伊奥西夫 2 基里恩·克莱默 2 Park，Junkil公园 2 伊丽莎白·波尔格林 2 沙兹·卡迪尔 2 克里斯托夫·林盖森 2 塞尔维亚人，克里斯蒂娜 2 内斯坦Tsiskaridze 2 阿琼·维斯瓦纳坦 1 亚历山德罗·阿巴特 1 布莱恩，马丁 1 大卫·布鲁姆利 1 乔纳森·布伦丹 1 来了，乔纳森 1 西蒙·克鲁恩斯 1 克里斯蒂娜·大卫 1 伯拉克·埃基奇 1 丹尼尔·欧拉维 1 阿米特·戈尔 1 德扬·约瓦诺维奇 1 凯兹，盖伊 1 香塔尔·凯勒 1 帕斯卡·凯塞利 1 丹尼尔·科宁 1 萨瓦·A·克里斯蒂。 1 汉娜·拉奇尼特 1 丹尼尔·拉拉兹 1 阿拉巴马州迈布苏特 1 孟宝洛 1 Oe，Duckki（杜基·欧） 1 亚历克斯·奥兹德米尔 1 桑吉特·阿伦库马尔·塞希亚 1 阿伦·斯塔姆 1 斯科特·维特里 1 托马斯·怀斯 1 哇，小牛 系列 5 自动推理杂志 5 系统设计中的形式化方法 1 逻辑程序设计理论与实践 1 计算机科学中的逻辑方法 1 量子拓扑 全部的 前5名领域 45 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 非结合环与代数（17-XX） 1 范畴理论；同调代数（18-XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物有被引用261次177文件 引用人▼ 年份▼ 仿射定向Brauer范畴及其分圆商的一个基本定理。 Zbl 1419.18011号 乔纳森·布伦丹;来了，乔纳森;大卫·纳什;安德鲁·雷诺兹 28 2017 SMT解算器感应。 Zbl 1432.68418号 安德鲁·雷诺兹;维克多·昆卡 21 2015 SMT中有限模型发现的量化器实例化技术。 Zbl 1381.68275号 安德鲁·雷诺兹;塞萨尔·蒂内利;阿米特·戈尔;萨瓦·克里斯蒂奇;Deters，摩根;克拉克·巴雷特 16 2013 SMT中用于合成的反例引导量词实例化。 Zbl 1381.68059号 安德鲁·雷诺兹;Deters，摩根;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特 16 2015 重新审视枚举实例化。 Zbl 1423.68468号 安德鲁·雷诺兹;Barbosa，哈尼尔;帕斯卡·方丹 15 2018 将SMT求解器扩展到高阶逻辑。 Zbl 07178968号 Barbosa，哈尼尔;安德鲁·雷诺兹;丹尼尔·欧拉维;塞萨尔·蒂内利;克拉克·巴雷特 12 2019 SMTCoq：用于将SMT解算器集成到Coq中的插件。 Zbl 1494.68285号 伯拉克·埃基奇;阿拉巴马州迈布苏特;塞萨尔·蒂内利;香塔尔·凯勒;凯兹，盖伊;安德鲁·雷诺兹;克拉克·巴雷特 12 2017 使用上下文相关简化放大DPLL（T）字符串解算器。 Zbl 1494.68255号 安德鲁·雷诺兹;哇，小牛;克拉克·巴雷特;大卫·布鲁姆利;梁天一;塞萨尔·蒂内利 9 2017 使用逻辑框架进行SMT验证。 Zbl 1284.68521号 阿伦·斯塔姆;Oe，Duckki（杜基·欧）;安德鲁·雷诺兹;莉安娜·哈达伦;塞萨尔·蒂内利 8 2013 字符串约束的高效SMT解算器。 Zbl 1404.68135号 梁天一;安德鲁·雷诺兹;内斯坦Tsiskaridze;塞萨尔·蒂内利;克拉克·巴雷特;Deters，摩根 8 2016 具有自由变量的同余闭包。 Zbl 1452.68113号 Barbosa，哈尼尔;帕斯卡·方丹;安德鲁·雷诺兹 8 2017 无界字符串上正则成员资格和长度约束的决策过程。 Zbl 1471.68119号 梁天一;内斯坦Tsiskaridze;安德鲁·雷诺兹;塞萨尔·蒂内利;克拉克·巴雷特 7 2015 通过反例引导实例化求解量化线性算法。 Zbl 1377.68138号 安德鲁·雷诺兹;金，蒂姆;维克多·昆卡 7 2017 分离逻辑的Bernays-Schönfinkel-Ramsey片段中的推理。 Zbl 1484.68104号 安德鲁·雷诺兹;拉杜·伊奥西夫;塞尔维亚人，克里斯蒂娜 6 2017 SMT中分离逻辑的决策过程。 Zbl 1398.68486号 安德鲁·雷诺兹;拉杜·伊奥西夫;塞尔维亚人，克里斯蒂娜;金，蒂姆 6 2016 利用可逆条件求解量化位向量。 Zbl 1511.68255号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 6 2018 SMT求解器中（co）数据类型的决策过程。 Zbl 1410.68337号 安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特 5 2017 用扩展设计理论求解器。 Zbl 1495.68239号 安德鲁·雷诺兹;塞萨尔·蒂内利;德扬·约瓦诺维奇;克拉克·巴雷特 5 2017 SMT中有限集和基数约束的新决策过程。 Zbl 1475.68430号 克什蒂吉·班萨尔;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 5 2016 通过E-匹配确定局部理论扩展。 Zbl 1381.68280号 克什蒂吉·班萨尔;安德鲁·雷诺兹;金，蒂姆;克拉克·巴雷特;托马斯·怀斯 5 2015 SMT中基于反驳的合成。 Zbl 1427.68051号 安德鲁·雷诺兹;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特;Deters，摩根 5 2019 固定宽度位向量理论的细粒度SMT证明。 兹比尔1471.68143 莉安娜·哈达伦;克拉克·巴雷特;安德鲁·雷诺兹;塞萨尔·蒂内利;Deters，摩根 4 2015 SMT求解器中（co）数据类型的决策过程。 Zbl 1465.68297号 安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特 4 2015 SMT中递归函数的模型查找。 Zbl 1475.68448号 安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁恩斯;塞萨尔·蒂内利 4 2016 礼貌与稳定无限：共同坚强。 Zbl 07437077号 盛英;尤尼·佐哈尔;克里斯托夫·林盖森;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 4 2021 具有共享选择器的数据类型。 Zbl 1511.68175号 安德鲁·雷诺兹;阿琼·维斯瓦纳坦;Barbosa，哈尼尔;塞萨尔·蒂内利;克拉克·巴雷特 4 2018 SMT解算器中与位宽无关的证明。 Zbl 07178987号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 4 2019 SMT解算器的语法引导重写规则枚举。 Zbl 1441.68233号 安德烈斯·诺兹利;安德鲁·雷诺兹;Barbosa，哈尼尔;艾娜·尼梅茨;马蒂亚斯·普雷纳;克拉克·巴雷特;塞萨尔·蒂内利 4 2019 皮尔士的科学形而上学。机会、法则和进化的哲学。 Zbl 1025.03003号 安德鲁·雷诺兹 三 2002 SMT中的关系约束求解。 Zbl 1494.68289号 孟宝洛;安德鲁·雷诺兹;塞萨尔·蒂内利;克拉克·巴雷特 三 2017 利用可逆条件求解量化位向量约束。 Zbl 1519.68236号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 三 2021 在工业级SMT解决方案中进行灵活的验证生产。 Zbl 07628179号 Barbosa，哈尼尔;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特 三 2022 模参数位向量的可满足性。 Zbl 07433026号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 2 2021 对于字符串解算器来说，冲突的速度更快，减少的速度更慢。 Zbl 1514.68274号 安德烈斯·诺兹利;安德鲁·雷诺兹;Barbosa，哈尼尔;克拉克·巴雷特;塞萨尔·蒂内利 2 2022 使用SMT序列理论推理向量。 Zbl 07628185号 盛英;安德烈斯·诺兹利;安德鲁·雷诺兹;尤尼·佐哈尔;大卫·迪尔;沃尔夫冈·格里斯坎普;Park，Junkil公园;沙兹·卡迪尔;克拉克·巴雷特;塞萨尔·蒂内利 2 2022 可满足性和综合模预言。 Zbl 1498.68082号 伊丽莎白·波尔格林;安德鲁·雷诺兹;Sanjit A.Seshia。 2 2022 高级抽象，用于简化SMT中的扩展字符串约束。 Zbl 07805814号 安德鲁·雷诺兹;安德烈斯·诺兹利;克拉克·巴雷特;塞萨尔·蒂内利 2 2019 SMT中具有有限集和基数约束的推理。 兹比尔1403.68044 克什蒂吉·班萨尔;克拉克·巴雷特;安德鲁·雷诺兹;塞萨尔·蒂内利 1 2018 在工业级SMT解决方案中进行灵活的验证生产。 Zbl 07628179号 Barbosa，哈尼尔;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特 三 2022 对于字符串解算器来说，冲突的速度更快，减少的速度更慢。 Zbl 1514.68274号 安德烈斯·诺兹利;安德鲁·雷诺兹;Barbosa，哈尼尔;克拉克·巴雷特;塞萨尔·蒂内利 2 2022 使用SMT序列理论推理向量。 Zbl 07628185号 盛英;安德烈斯·诺兹利;安德鲁·雷诺兹;尤尼·佐哈尔;大卫·迪尔;沃尔夫冈·格里斯坎普;Park，Junkil公园;沙兹·卡迪尔;克拉克·巴雷特;塞萨尔·蒂内利 2 2022 可满足性和综合模预言。 Zbl 1498.68082号 伊丽莎白·波尔格林;安德鲁·雷诺兹;Sanjit A.Seshia。 2 2022 礼貌与稳定无限：共同坚强。 Zbl 07437077号 盛英;尤尼·佐哈尔;克里斯托夫·林盖森;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 4 2021 利用可逆条件求解量化位向量约束。 Zbl 1519.68236号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 三 2021 模参数位向量的可满足性。 Zbl 07433026号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 2 2021 将SMT求解器扩展到高阶逻辑。 Zbl 07178968号 Barbosa，哈尼尔;安德鲁·雷诺兹;丹尼尔·欧拉维;塞萨尔·蒂内利;克拉克·巴雷特 12 2019 SMT中基于反驳的合成。 Zbl 1427.68051号 安德鲁·雷诺兹;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特;Deters，摩根 5 2019 SMT解算器中与位宽无关的证明。 Zbl 07178987号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 4 2019 SMT解算器的语法引导重写规则枚举。 Zbl 1441.68233号 安德烈斯·诺兹利;安德鲁·雷诺兹;Barbosa，哈尼尔;艾娜·尼梅茨;马蒂亚斯·普雷纳;克拉克·巴雷特;塞萨尔·蒂内利 4 2019 高级抽象，用于简化SMT中的扩展字符串约束。 Zbl 07805814号 安德鲁·雷诺兹;安德烈斯·诺兹利;克拉克·巴雷特;塞萨尔·蒂内利 2 2019 重新审视枚举实例化。 Zbl 1423.68468号 安德鲁·雷诺兹;Barbosa，哈尼尔;帕斯卡·方丹 15 2018 利用可逆条件求解量化位向量。 Zbl 1511.68255号 艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 6 2018 具有共享选择器的数据类型。 Zbl 1511.68175号 安德鲁·雷诺兹;阿琼·维斯瓦纳坦;Barbosa，哈尼尔;塞萨尔·蒂内利;克拉克·巴雷特 4 2018 SMT中具有有限集和基数约束的推理。 兹比尔1403.68044 克什蒂吉·班萨尔;克拉克·巴雷特;安德鲁·雷诺兹;塞萨尔·蒂内利 1 2018 仿射定向Brauer范畴及其分圆商的一个基本定理。 Zbl 1419.18011号 乔纳森·布伦丹;来了，乔纳森;大卫·纳什;安德鲁·雷诺兹 28 2017 SMTCoq：用于将SMT解算器集成到Coq中的插件。 Zbl 1494.68285号 伯拉克·埃基奇;阿拉巴马州迈布苏特;塞萨尔·蒂内利;香塔尔·凯勒;凯兹，盖伊;安德鲁·雷诺兹;克拉克·巴雷特 12 2017 使用上下文相关简化放大DPLL（T）字符串解算器。 Zbl 1494.68255号 安德鲁·雷诺兹;哇，小牛;克拉克·巴雷特;大卫·布鲁姆利;梁天一;塞萨尔·蒂内利 9 2017 具有自由变量的同余闭包。 Zbl 1452.68113号 Barbosa，哈尼尔;帕斯卡·方丹;安德鲁·雷诺兹 8 2017 通过反例引导实例化求解量化线性算法。 Zbl 1377.68138号 安德鲁·雷诺兹;金，蒂姆;维克多·昆卡 7 2017 分离逻辑的Bernays-Schönfinkel-Ramsey片段中的推理。 Zbl 1484.68104号 安德鲁·雷诺兹;拉杜·伊奥西夫;塞尔维亚人，克里斯蒂娜 6 2017 SMT求解器中（co）数据类型的决策过程。 Zbl 1410.68337号 安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特 5 2017 用扩展设计理论求解器。 Zbl 1495.68239号 安德鲁·雷诺兹;塞萨尔·蒂内利;德扬·约瓦诺维奇;克拉克·巴雷特 5 2017 SMT中的关系约束求解。 Zbl 1494.68289号 孟宝洛;安德鲁·雷诺兹;塞萨尔·蒂内利;克拉克·巴雷特 三 2017 字符串约束的高效SMT解算器。 Zbl 1404.68135号 梁天一;安德鲁·雷诺兹;内斯坦Tsiskaridze;塞萨尔·蒂内利;克拉克·巴雷特;Deters，摩根 8 2016 SMT中分离逻辑的决策过程。 Zbl 1398.68486号 安德鲁·雷诺兹;拉杜·伊奥西夫;塞尔维亚人，克里斯蒂娜;金，蒂姆 6 2016 SMT中有限集和基数约束的新决策过程。 Zbl 1475.68430号 克什蒂吉·班萨尔;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 5 2016 SMT中递归函数的模型查找。 Zbl 1475.68448号 安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁恩斯;塞萨尔·蒂内利 4 2016 SMT解算器感应。 Zbl 1432.68418号 安德鲁·雷诺兹;维克多·昆卡 21 2015 SMT中用于合成的反例引导量词实例化。 Zbl 1381.68059号 安德鲁·雷诺兹;Deters，摩根;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特 16 2015 无界字符串上正则成员资格和长度约束的决策过程。 Zbl 1471.68119号 梁天一;内斯坦Tsiskaridze;安德鲁·雷诺兹;塞萨尔·蒂内利;克拉克·巴雷特 7 2015 通过E-匹配确定局部理论扩展。 Zbl 1381.68280号 克什蒂吉·班萨尔;安德鲁·雷诺兹;金，蒂姆;克拉克·巴雷特;托马斯·怀斯 5 2015 固定宽度位向量理论的细粒度SMT证明。 兹比尔1471.68143 莉安娜·哈达伦;克拉克·巴雷特;安德鲁·雷诺兹;塞萨尔·蒂内利;Deters，摩根 4 2015 SMT求解器中（co）数据类型的决策过程。 Zbl 1465.68297号 安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特 4 2015 SMT中有限模型发现的量化器实例化技术。 Zbl 1381.68275号 安德鲁·雷诺兹;塞萨尔·蒂内利;阿米特·戈尔;萨瓦·克里斯蒂奇;Deters，摩根;克拉克·巴雷特 16 2013 使用逻辑框架进行SMT验证。 Zbl 1284.68521号 阿伦·斯塔姆;Oe，Duckki（杜基·欧）;安德鲁·雷诺兹;莉安娜·哈达伦;塞萨尔·蒂内利 8 2013 皮尔士的科学形而上学。机会、法则和进化的哲学。 Zbl 1025.03003号 安德鲁·雷诺兹 三 2002 所有引用出版物 前5名被引用出版物 全部的 前5名348位作者引用 25 安德鲁·雷诺兹 23 克拉克·W·巴雷特。 21 塞萨尔·蒂内利 12 贾斯敏·克里斯蒂安·布兰切特 11 尤尼·佐哈尔 8 乔纳森·布伦丹 8 阿利斯泰尔·萨维奇 7 Barbosa，哈尼尔 6 伊曼纽尔·德·安吉利斯 6 法比奥·菲奥拉万蒂 6 艾娜·尼梅茨 6 马蒂亚斯·普雷纳 6 毛里齐奥·普罗埃蒂 6 索菲·托雷特 5 帕斯卡·方丹 5 安德烈斯·诺兹利 5 阿尔贝托·佩特罗西 5 芮、鹤壁 5 盛英 5 宋林良 4 Inna Entova Aizenbud公司 4 维杰·加内什 4 高、蒙蒙 4 科瓦奇，劳拉·伊尔迪科 4 米贾·库尔琴斯基 4 费德里科·莫拉 4 德克·诺沃特卡 4 安德烈·沃伦科夫 4 佩塔·武克米罗维奇 三 亚历山大·本特坎普 三 墨菲·贝尔齐什 三 马克西米利亚诺·克里斯蒂亚 三 西蒙·克鲁恩斯 三 戴，乔尔·D·。 三 Stéphane P.德姆里。 三 Deters，摩根 三 马蒂亚斯·弗勒里 三 西尔维奥·吉拉尔迪 三 Heule，Marijn J.H。 三 卢卡什·霍利克 三 佩特拉·霍佐娃 三 拉杜·伊奥西夫 三 维克多·昆卡 三 弗罗林·马内亚 三 Nummelin，维萨卡 三 伊丽莎白·波尔格林 三 贾尔斯·里格尔 三 克里斯托夫·林盖森 三 吉安弗兰科·罗西 三 菲利普·吕默 三 桑吉特·阿伦库马尔·塞希亚 三 Catharina H.斯特罗佩尔。 三 本·韦伯斯特 三 克里斯托夫·韦登巴赫 2 帕罗什·阿齐兹·阿卜杜拉 2 弗朗西斯科·阿尔贝蒂 2 穆罕默德·法乌齐（Mohamed Faouzi Atig） 2 克什蒂吉·班萨尔 2 马丁·布隆伯格 2 陈玉芳 2 科恩·克莱森 2 大卫·L·迪尔。 2 加布里埃尔·埃布纳 2 格里戈里·费迪尤科维奇 2 阿尔多·菲洛梅诺 2 圣菲省格拉汉·伦格兰德 2 沃尔夫冈·格里斯坎普 2 马尔顿哈杜 2 沙迦·伊扎基 2 埃里克·科斯金 2 基里恩·克莱默 2 乔纳森·罗伯特·库贾瓦 2 简·兰格 2 梁天一 2 埃琳娜·帕加尼 2 Park，Junkil公园 2 沙兹·卡迪尔 2 汉斯·约尔·舒尔 2 维拉·塞尔加诺娃。 2 娜塔莎·莎莉吉娜 2 尤拉吉·西奇 2 Guilherme V.托莱多。 2 内斯坦Tsiskaridze 2 阿琼·维斯瓦纳坦 2 王，弯腰 1 亚历山德罗·阿巴特 1 Ábrahám，艾瑞卡 1 克莱门特·阿勒奥姆 1 拉杰夫·阿鲁尔 1 阿南塔拉曼，湿婆 1 文森佐·阿塞里 1 塞皮德·阿萨迪 1 彼得·巴克曼 1 Seulkee Baek先生 1 玛蒂娜·巴拉戈维奇 1 凯文·巴茨 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 纪尧姆·贝托伦 1 拉斐尔·伯顿 1 艾哈迈德·巴亚特 …还有248位作者 全部的 前5名32篇连载文章中引用 27 自动推理杂志 11 系统设计中的形式化方法 7 代数杂志 4 ACM计算逻辑事务 三 选择Mathematica。新系列 三 程序设计中的逻辑和代数方法杂志 三 代数组合论 2 纯粹与应用代数杂志 2 数学期刊 2 纯逻辑与应用逻辑年鉴 2 逻辑程序设计理论与实践 2 计算机科学中的逻辑方法 1 代数通讯 1 数学物理中的通信 1 数学进展 1 《国家科学年鉴》（Annales Scientifiques de l’ecole Normale Supérieure）。Quatrième Série 1 《伦敦数学学会通报》 1 加拿大数学杂志 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 计算的形式方面 1 人工智能通信 1 计算系统理论 1 国际科学哲学研究 1 莫斯科数学杂志 1 逻辑与逻辑哲学 1 应用数学杂志 1 代数杂志及其应用 1 代数与数论 1 算法 1 科学史与哲学研究。第二部分现代物理学的历史与哲学研究 全部的 前5名在14个字段中引用 144 计算机科学（68至XX） 52 数学逻辑和基础（03-XX） 24 非结合环与代数（17-XX） 24 范畴理论；同调代数（18-XX） 6 群论与推广（20-XX） 4 总体主题；集合（00-XX） 4 结合环与代数（16-XX） 三 特殊功能（33至XX） 2 信息与通信理论、电路（94-XX） 1 动力系统和遍历理论（37-XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 1 统计力学，物质结构（82-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文