编辑配置文件（在新选项卡中打开） 克里斯托夫·Löding 合著者距离 作者ID： 洛丁·克里斯托夫 发布日期： 克里斯托夫·Löding；罗丁，C。 主页： https://www.lics.rwth-aachen.de/go/id/ocsx/lidx/1 外部链接： 管理程序·数据库管理程序 已编制索引的文档： 68出版物自1999年起 1名编辑贡献 合著者： 56位合著者具有59联合出版物 984位合作作者 全部的 前5名合著者 10 单作者的 6 托马斯·科尔科姆贝特 6 奥利维尔·塞雷 5 Carayol，阿诺 4 安东·皮罗戈夫 4 沃尔夫冈·托马斯 4 莎拉·温特 三 帕特里克·兰德威尔 三 马丁·朗 三 帕塔萨拉西马杜苏丹 2 斯特凡·雷普克 2 菲利普·罗德 2 克里斯托弗·斯宾拉斯 2 安德烈亚斯·托尔科特 1 Bárány，文斯 1 Michael A.Benedikt。 1 阿希姆·布卢门萨特 1 莱昂·波恩 1 伊夫·邦坦普斯 1 尼古拉·博斯克 1 斯特凡·布鲁尔斯 1 克里希南德·查特吉 1 朱利安·克里斯托 1 沃伊切赫，切尔文斯基 1 艾曼纽·菲利奥特 1 瓦迪米尔·弗里德曼 1 普拉纳夫·加格 1 马丁·格罗 1 迈克尔·霍特曼 1 霍恩，弗洛里安 1 迪米特里·伊萨克 1 巴特·雅各布斯 1 伊斯马·杰克 1 卢卡斯·凯泽 1 王卡里安托 1 Bart H.M.Kuijpers。 1 丹尼斯·库珀伯格 1 Sławomir拉索塔 1 西蒙·勒埃尼奇 1 卡斯滕·卢茨 1 阿马尔德夫·曼努埃尔 1 穆拉利，阿迪蒂亚 1 丹尼尔·奈德 1 达米安·尼文斯基 1 奥尔舍夫斯基，约格 1 卢卡斯·佩尼亚 1 拉多斯·瓦·皮奥科夫斯基 1 马丁·里泽特 1 皮埃尔·伊夫·肖本斯 1 亚历克斯·斯佩尔滕 1 马克斯·菲利普·斯塔科恩 1 Van den Bussche，简 1 迈克尔·范登·布姆 1 伊戈尔·瓦卢基维奇 1 托马斯·威尔克 1 Karianto Wong 1 马丁·齐默尔曼 全部的 前5名系列 三 国际计算机科学基础杂志 三 计算机基础理论 2 信息处理信件 2 计算机科学中的逻辑方法 1 信息与计算 1 系统设计中的形式化方法 1 计算系统理论 1 美国医学会杂志 1 离散数学和理论计算机科学。DMTCS公司 1 逻辑与代数程序设计杂志 1 中欧数学杂志 1 计算机科学课堂讲稿 全部的 前5名领域 63 计算机科学（68至XX） 34 数学逻辑和基础（03-XX） 11 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 代数几何（14-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 56出版物有被引用347中的次259文件 引用人▼ 年份▼ 确定性弱自动机的有效最小化。 Zbl 1032.68103号 罗丁，C。 25 2001 明显的下推游戏。 Zbl 1117.68409号 克里斯托夫·Löding；马杜苏丹，P。；奥利维尔·塞雷 20 2004 破坏模态逻辑的模型检查和可满足性。 Zbl 1205.68222号 克里斯托夫·Löding；菲利普·罗德 17 2003 \（\omega\）-自动机变换的最佳界。 Zbl 0961.68074号 克里斯托夫·Löding 17 1999 无限二叉树上的MSO：选择和顺序。 Zbl 1179.03016号 Carayol，阿诺；克里斯托夫·Löding 17 2007 非确定性Mostowski层次和距离-完整自动机。 Zbl 1165.68038号 托马斯·科尔科姆贝特；克里斯托夫·Löding 15 2008 解决破坏游戏是PSPACE-困难的。 Zbl 1124.68369号 克里斯托夫·Löding；菲利普·罗德 14 2003 可视下推语言的正则性问题。 Zbl 1136.68414号 Bárány，文斯；克里斯托夫·Löding；奥利维尔·塞雷 14 2006 逻辑理论和兼容运算。 Zbl 1244.03050号 阿希姆·布卢门萨特；托马斯·科尔科姆贝特；克里斯托夫·Löding 13 2008 关于有限传感器的等价和一致化问题。 Zbl 1388.68170号 艾曼纽·菲利奥特；伊斯马·杰克；克里斯托夫·Löding；莎拉·温特 13 2016 无限二叉树上的选择函数和良序。 Zbl 1215.03054号 Carayol，阿诺；克里斯托夫·Löding；达米安·尼温斯基；伊戈尔·瓦卢基维奇 12 2010 通过集合解释转换结构。 Zbl 1128.03026号 托马斯·科尔科姆贝特；克里斯托夫·Löding 12 2007 带有递归程序的命题动态逻辑。 Zbl 1123.03017号 克里斯托夫·Löding；卡斯滕·卢茨；奥利维尔·塞雷 9 2007 无秩树上的确定性自动机。 Zbl 1123.68055号 朱利安·克里斯托；克里斯托夫·Löding；沃尔夫冈·托马斯 9 2005 无上下文无限游戏中的前瞻度。 兹比尔1247.68137 瓦迪米尔·弗里德曼；克里斯托夫·Löding；马丁·齐默尔曼 9 2011 判定Büchi可定义树语言的弱可定义性。 兹比尔1356.68129 托马斯·科尔科姆贝特；丹尼斯·库珀伯格；克里斯托夫·Löding；迈克尔·范登·布姆 9 2013 在无限单词上交替使用自动机和逻辑（扩展抽象）。 兹比尔0998.68526 克里斯托夫·Löding；沃尔夫冈·托马斯 8 2000 自动机理论中的一致化。 Zbl 1367.03074号 Carayol，阿诺；克里斯托夫·Löding 8 2014 改进的基于Ramsey的Büchi互补。 Zbl 1352.68126号 斯特凡·布鲁尔斯；克里斯托夫·Löding；奥尔舍夫斯基，约格 7 2012 强明确Büchi自动机的等价性和包含问题。 Zbl 1284.68340号 尼古拉·博斯克；克里斯托夫·Löding 7 2010 正则地树重写图的可达性问题。 Zbl 1101.68049号 克里斯托夫·Löding 6 2006 学习MSO定义的字符串假设。 Zbl 1403.68094号 马丁·格罗；克里斯托夫·Löding；马丁·里泽特 5 2017 关于有限二义Büchi自动机。 Zbl 1517.68206号 克里斯托夫·Löding；安东·皮罗戈夫 5 2018 确定Büchi自动机的新优化和启发式方法。 Zbl 1437.68101号 克里斯托夫·Löding；安东·皮罗戈夫 5 2019 树语言析取演算的嵌套深度与有限性问题。 Zbl 1156.68451号 托马斯·科尔科姆贝特；克里斯托夫·Löding 4 2008 根据基于场景的规范合成开放式反应系统。 Zbl 1082.68064号 伊夫·邦坦普斯；皮埃尔·伊夫·肖本斯；克里斯托夫·Löding 4 2004 NFA的可决定性取决于前瞻委托人的存在。 Zbl 1359.68173号 克里斯托夫·Löding；斯特凡·雷普克 4 2013 带有递归程序的命题动态逻辑。 Zbl 1180.03034号 克里斯托夫·Löding；奥利维尔·塞雷 三 2006 对无二义\（\omega \）-自动机的简单类进行有效的包含测试。 Zbl 1243.68201号 迪米特里·伊萨克；克里斯托夫·Löding 三 2012 无限对策和自动机理论。 Zbl 1229.91021号 克里斯托夫·Löding 三 2011 具有兄弟等式和不等式的未排序树自动机。 Zbl 1171.68530号 王卡里安托；克里斯托夫·Löding 三 2007 无限游戏中策略的内存减少。 Zbl 1139.68364号 迈克尔·霍特曼；克里斯托夫·Löding 三 2007 正则表达式和\（\omega\）自动机之间的转换。 Zbl 1398.68319号 克里斯托夫·Löding；安德烈亚斯·托尔科特 三 2016 MSO中有界性性质的统一方法。 Zbl 1373.03067号 凯撒，乌卡斯；马丁·朗；西蒙·勒埃尼奇；克里斯托夫·Löding 三 2015 树自动机基础。 Zbl 1256.68103号 克里斯托夫·Löding 三 2012 无秩树上重写系统的转移图。 Zbl 1147.68546号 克里斯托夫·Löding；亚历克斯·斯佩尔滕 三 2007 无限树上的自动机。 Zbl 07469506号 克里斯托夫·Löding 三 2021 义务游戏。 Zbl 1287.68105号 克里希南德·查特吉；霍恩，弗洛里安；克里斯托夫·Löding 2 2010 平面空间数据的一阶拓扑特性的表征。 Zbl 1326.68301号 迈克尔·本尼迪克特；巴特·奎杰珀斯；克里斯托夫·Löding；Van den Bussche，简；托马斯·威尔克 2 2006 关于具有同级约束的非确定无秩树自动机。 Zbl 1248.68310号 克里斯托夫·Löding；Karianto Wong 2 2009 线性数据结构的量化数据自动机：一种寄存器自动机模型，用于学习程序操作数组和列表的不变量。 兹比尔1322.68121 普拉纳夫·加格；克里斯托夫·Löding；马杜苏丹，P。；丹尼尔·奈德 2 2015 同级之间具有相等和不相等约束的无限树上的自动机。 Zbl 1401.68152号 Carayol，阿诺；克里斯托夫·Löding；奥利维尔·塞雷 2 2016 有限词和无限词上有理关系子类的决策问题。 Zbl 1416.68106号 克里斯托夫·Löding；克里斯托弗·斯宾拉斯 2 2019 从自动树关系合成确定性自顶向下树变换器。 Zbl 1369.68254号 克里斯托夫·Löding；莎拉·温特 2 2017 从自动树关系合成确定性自顶向下树变换器。 Zbl 1464.68175号 克里斯托夫·Löding；莎拉·温特 2 2014 Büchi自动机的确定：统一了Safra和Muller-Schupp的方法。 Zbl 07561613号 克里斯托夫·Löding；安东·皮罗戈夫 2 2019 二维VASS的新泵送技术。 Zbl 07561706号 沃伊切赫，切尔文斯基；Sławomir拉索塔；克里斯托夫·Löding；拉多斯·瓦·皮奥科夫斯基 2 2019 兄弟间有约束的Büchi树自动机的投影。 兹比尔1458.68105 帕特里克·兰德威尔；克里斯托夫·Löding 1 2018 弱下推自动机和游戏的正则性问题。 兹比尔1365.68309 克里斯托夫·Löding；斯特凡·雷普克 1 2012 有界树宽的地树重写图。 兹比尔1054.68080 克里斯托夫·Löding 1 2002 通过地树重写生成的模型检查无限系统。 Zbl 1077.68694号 克里斯托夫·Löding 1 2002 具有资源的无限系统的建模和验证。 Zbl 1314.68184号 马丁·朗；克里斯托夫·Löding 1 2013 奇偶自动机的状态空间约简。 Zbl 07650840号 克里斯托夫·Löding；安德烈亚斯·托尔科特 1 2020 有限树上的自动机。 Zbl 07469505号 克里斯托夫·Löding；沃尔夫冈·托马斯 1 2021 有限词和无限词上有理关系子类的决策问题。 Zbl 1416.68105号 克里斯托夫·Löding；克里斯托弗·斯宾拉斯 1 2017 通过对RPNI算法的扩展，从示例中构造确定性（ω）自动机。 Zbl 07724193号 莱昂·波恩；克里斯托夫·Löding 1 2021 无限树上的自动机。 Zbl 07469506号 克里斯托夫·Löding 三 2021 有限树上的自动机。 Zbl 07469505号 克里斯托夫·Löding；沃尔夫冈·托马斯 1 2021 通过对RPNI算法的扩展，从示例中构造确定性（ω）自动机。 Zbl 07724193号 莱昂·波恩；克里斯托夫·Löding 1 2021 奇偶自动机的状态空间约简。 Zbl 07650840号 克里斯托夫·Löding；安德烈亚斯·托尔科特 1 2020 确定Büchi自动机的新优化和启发式方法。 Zbl 1437.68101号 克里斯托夫·Löding；安东·皮罗戈夫 5 2019 有限词和无限词上有理关系子类的决策问题。 Zbl 1416.68106号 克里斯托夫·Löding；克里斯托弗·斯宾拉斯 2 2019 Büchi自动机的确定化：统一Safra和Muller-Schupp的方法。 Zbl 07561613号 克里斯托夫·Löding；安东·皮罗戈夫 2 2019 二维VASS的新泵送技术。 兹伯利07561706 沃伊切赫，切尔文斯基；Sławomir拉索塔；克里斯托夫·Löding；拉多斯·瓦·皮奥科夫斯基 2 2019 关于有限二义Büchi自动机。 兹比尔1517.68206 克里斯托夫·Löding；安东·皮罗戈夫 5 2018 兄弟间有约束的Büchi树自动机的投影。 Zbl 1458.68105号 帕特里克·兰德威尔；克里斯托夫·Löding 1 2018 学习MSO定义的字符串假设。 Zbl 1403.68094号 马丁·格罗；克里斯托夫·Löding；马丁·里泽特 5 2017 从自动树关系合成确定性自顶向下树变换器。 Zbl 1369.68254号 克里斯托夫·Löding；莎拉·温特 2 2017 有限词和无限词上有理关系子类的决策问题。 Zbl 1416.68105号 克里斯托夫·Löding；克里斯托弗·斯宾拉斯 1 2017 关于有限传感器的等价和一致化问题。 Zbl 1388.68170号 艾曼纽·菲利奥特；伊斯马·杰克；克里斯托夫·Löding；莎拉·温特 13 2016 正则表达式和\（\omega\）-自动机之间的转换。 Zbl 1398.68319号 克里斯托夫·Löding；安德烈亚斯·托尔科特 三 2016 同级之间具有相等和不相等约束的无限树上的自动机。 Zbl 1401.68152号 Carayol，阿诺；克里斯托夫·Löding；奥利维尔·塞雷 2 2016 MSO中有界性属性的统一方法。 Zbl 1373.03067号 凯撒，乌卡斯；马丁·朗；西蒙·勒埃尼奇；克里斯托夫·Löding 三 2015 线性数据结构的量化数据自动机：一种寄存器自动机模型，用于学习程序操作数组和列表的不变量。 兹比尔1322.68121 普拉纳夫·加格；克里斯托夫·Löding；马杜苏丹，P。；丹尼尔·奈德 2 2015 自动机理论中的一致化。 Zbl 1367.03074号 Carayol，阿诺；克里斯托夫·Löding 8 2014 从自动树关系合成确定性自顶向下树变换器。 Zbl 1464.68175号 克里斯托夫·Löding；莎拉·温特 2 2014 判定Büchi可定义树语言的弱可定义性。 Zbl 1356.68129号 托马斯·科尔科姆贝特；丹尼斯·库珀伯格；克里斯托夫·Löding；迈克尔·范登·布姆 9 2013 NFA的可决定性取决于前瞻委托人的存在。 Zbl 1359.68173号 克里斯托夫·Löding；斯特凡·雷普克 4 2013 具有资源的无限系统的建模和验证。 Zbl 1314.68184号 马丁·朗；克里斯托夫·Löding 1 2013 改进的基于Ramsey的Büchi互补。 Zbl 1352.68126号 Stefan Breuers公司；克里斯托夫·Löding；奥尔舍夫斯基，约格 7 2012 对无二义\（\omega \）-自动机的简单类进行有效的包含测试。 兹比尔1243.68201 迪米特里·伊萨克；克里斯托夫·Löding 三 2012 树自动机基础。 兹比尔1256.68103 克里斯托夫·Löding 三 2012 弱下推自动机和游戏的正则性问题。 Zbl 1365.68309号 克里斯托夫·Löding；斯特凡·雷普克 1 2012 无上下文无限游戏中的前瞻度。 Zbl 1247.68137号 瓦迪米尔·弗里德曼；克里斯托夫·Löding；马丁·齐默尔曼 9 2011 无限对策和自动机理论。 Zbl 1229.91021号 克里斯托夫·Löding 三 2011 无限二叉树上的选择函数和良序。 Zbl 1215.03054号 Carayol，阿诺；克里斯托夫·Löding；达米安·尼温斯基；伊戈尔·瓦卢基维奇 12 2010 强明确Büchi自动机的等价性和包含问题。 Zbl 1284.68340号 尼古拉·博斯克；克里斯托夫·Löding 7 2010 义务游戏。 Zbl 1287.68105号 克里希南德·查特吉；霍恩，弗洛里安；克里斯托夫·Löding 2 2010 关于具有同级约束的非确定无秩树自动机。 Zbl 1248.68310号 克里斯托夫·Löding；Karianto Wong 2 2009 非确定性Mostowski层次和距离-完整自动机。 Zbl 1165.68038号 托马斯·科尔科姆贝特；克里斯托夫·Löding 15 2008 逻辑理论和兼容操作。 Zbl 1244.03050号 阿希姆·布卢门萨特；托马斯·科尔科姆贝特；克里斯托夫·Löding 13 2008 树语言析取演算的嵌套深度与有限性问题。 Zbl 1156.68451号 托马斯·科尔科姆贝特；克里斯托夫·Löding 4 2008 无限二叉树上的MSO：选择和顺序。 Zbl 1179.03016号 Carayol，阿诺；克里斯托夫·Löding 17 2007 通过集合解释转换结构。 Zbl 1128.03026号 托马斯·科尔科姆贝特；克里斯托夫·Löding 12 2007 具有递归程序的命题动态逻辑。 Zbl 1123.03017号 克里斯托夫·Löding；卡斯滕·卢茨；奥利维尔·塞雷 9 2007 具有兄弟等式和不等式的未排序树自动机。 Zbl 1171.68530号 王卡里安托；克里斯托夫·Löding 三 2007 无限游戏中策略的记忆减少。 Zbl 1139.68364号 迈克尔·霍尔特曼；克里斯托夫·Löding 三 2007 无秩树上重写系统的转移图。 Zbl 1147.68546号 克里斯托夫·Löding；亚历克斯·斯佩尔滕 三 2007 可视下推语言的正则性问题。 Zbl 1136.68414号 Bárány，文斯；克里斯托夫·Löding；奥利维尔·塞雷 14 2006 正则地树重写图的可达性问题。 Zbl 1101.68049号 克里斯托夫·Löding 6 2006 带有递归程序的命题动态逻辑。 Zbl 1180.03034号 克里斯托夫·Löding；奥利维尔·塞雷 三 2006 平面空间数据的一阶拓扑特性的表征。 Zbl 1326.68301号 迈克尔·本尼迪克特；巴特·奎杰珀斯；克里斯托夫·Löding；Van den Bussche，简；托马斯·威尔克 2 2006 无秩树上的确定性自动机。 Zbl 1123.68055号 朱利安·克里斯托；克里斯托夫·Löding；沃尔夫冈·托马斯 9 2005 明显的下推游戏。 Zbl 1117.68409号 克里斯托夫·Löding；马杜苏丹，P。；奥利维尔·塞雷 20 2004 根据基于场景的规范合成开放式反应系统。 Zbl 1082.68064号 伊夫·邦坦普斯；皮埃尔·伊夫·肖本斯；克里斯托夫·Löding 4 2004 破坏模态逻辑的模型检查和可满足性。 Zbl 1205.68222号 克里斯托夫·Löding；菲利普·罗德 17 2003 解决破坏游戏是PSPACE-困难的。 Zbl 1124.68369号 克里斯托夫·Löding；菲利普·罗德 14 2003 有界树宽的地树重写图。 Zbl 1054.68080号 克里斯托夫·Löding 1 2002 通过地树重写生成的模型检查无限系统。 Zbl 1077.68694号 克里斯托夫·Löding 1 2002 确定性弱自动机的有效最小化。 Zbl 1032.68103号 罗丁，C。 25 2001 无限单词上的交替自动机和逻辑（扩展抽象）。 Zbl 0998.68526号 克里斯托夫·Löding；沃尔夫冈·托马斯 8 2000 \（\omega\）-自动机变换的最佳界。 兹比尔0961.68074 克里斯托夫·Löding 17 1999 所有引用出版物 前5名被引用出版物 全部的 前5名363位作者引用 13 克里斯托夫·Löding 11 沃尔夫冈·托马斯 10 奥尔纳库普弗曼 10 Micha Skrzypczak 10 马丁·齐默尔曼 9 卡洛利纳，莱蒂宁 8 莫西·亚亚科夫·瓦尔迪 7 艾曼纽·菲利奥特 7 加布里埃尔，小狗 5 丹尼斯·库珀伯格 5 马丁·兰格 5 李勇 5 安卡·穆斯科尔 5 亚历山大·拉比诺维奇 5 Kai T.Salomaa。 4 克里斯特尔·拜尔 4 巴勃罗·巴塞洛 4 阿希姆·布卢门萨特 4 乌迪·博克 4 劳拉·博泽利 4 洛伦佐·克莱门特 4 莱奥·埃克巴德 4 劳尔·费尔瓦里 4 帕里斯（Pawe Parys） 4 文森特·佩内尔 4 朴晓雪 4 弗兰克·G·拉德马赫。 4 皮埃尔·阿莱·雷尼尔 4 莎拉·温特 4 张丽君 三 阿尔夫·罗查，蒂亚戈 三 卡洛斯·阿雷塞斯 三 贝内维特斯，马里奥·R·F·。 三 Bose，Sougata公司 三 托马斯·科尔科贝特 三 Stéphane P.德姆里。 三 约琴·艾辛格 三 迭戈·菲格拉 三 达纳·菲斯曼 三 斯特凡·基弗 三 费利克斯·克莱特克 三 约阿希姆·克莱因 三 简·Křetínsk 三 桑卡拉·纳拉亚南·克里希纳 三 Lin，Anthony Widjaja 三 阿娜·特蕾莎·马丁斯 三 米查勒夫斯基（Michalewski）、亨利克（Henryk） 三 穆拉诺，阿尼洛 三 亚历山大·奥霍金 三 维克托·勒沃维奇·塞利瓦诺夫 三 奥利维尔·塞雷 三 所罗门·西克特 三 多龙·蒂费雷特 三 安德烈亚·图里尼 三 van Benthem，Johan F.A.K。 2 帕罗什·阿齐兹·阿卜杜拉 2 达纳·安格鲁因 2 奥彻，纪尧姆 2 伯纳德·博伊格洛特 2 Mikołaj博扬奇克 2 雷米·布罗赫宁 2 弗洛里安·布鲁斯 2 朱利安·布鲁斯滕 2 Carayol，阿诺 2 菲利波·卡瓦拉里 2 艾米莉·查利尔 2 纳米特·查图尔维迪 2 Chebotarev，Anatoli N。 2 玛丽亚·艾米丽亚·德斯科特 2 克里斯蒂安·迪利茨 2 亚历山大·杜雷特·卢茨 2 冯伟志 2 纳塔娜·菲亚尔科夫 2 克里斯蒂娜·格南 2 马库斯·盖尔德里 2 斯特凡·格勒 2 詹斯·奥利弗·古斯菲尔德 2 爱德华·赫尔曼·海尔 2 Han、Yo-Sub 2 大卫·哈雷 2 西蒙·扬奇 2 伊斯马·杰克 2 Joost-Pieter卡托恩 2 Bakhadyr M.库萨诺夫。 2 费利克斯·克莱恩 2 Krčál，帕维尔 2 安德烈亚斯·克雷布斯 2 安蒂·库西斯托 2 帕特里克·兰德威尔 2 克劳斯·Jörn兰格 2 Sławomir拉索塔 2 杰罗姆·勒鲁 2 内森·勒霍特 2 布鲁诺·多梅尼西亚诺·洛佩斯 2 艾蒂安·洛兹 2 迈克尔·路德维希 2 阿尼尔班·马朱姆达尔 2 沙哈尔·茂兹 2 弗朗西克勃·马丁斯·费雷拉 2 巴斯蒂安·莫伯特 …还有263位作者 全部的 前5名39篇连载文章中引用 19 信息与计算 19 计算机科学中的逻辑方法 18 理论计算机科学 8 计算机与系统科学杂志 5 信息处理信件 5 系统设计中的形式化方法 5 计算系统理论 4 国际计算机科学基础杂志 4 计算机基础理论 三 信息学报 三 ACM计算逻辑事务 2 控制论与系统分析 2 应用非经典逻辑杂志 2 数学逻辑季刊（MLQ） 2 自动机、语言和组合学杂志 2 应用逻辑杂志 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 数学进展 1 半群论坛 1 Studia Logica公司 1 计算机程序设计科学 1 运营研究信件 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 逻辑、语言与信息杂志 1 离散数学和理论计算机科学。DMTCS公司 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 计算机语言、系统和结构 1 中欧数学杂志 1 量子信息处理 1 理论计算机科学的基础和发展趋势 1 符号逻辑述评 1 算法 1 RAIRO公司。理论信息学及其应用 全部的 前5名在14个字段中引用 232 计算机科学（68至XX） 99 数学逻辑和基础（03-XX） 27 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 组合数学（05-XX） 三 系统论；控制（93至XX） 2 有序，格，有序代数结构（06-XX） 2 群论与推广（20-XX） 1 代数几何（14-XX） 1 范畴理论；同调代数（18-XX） 1 测量和集成（28-XX） 1 流形和细胞复合体（57至XX） 1 统计学（62-XX） 1 量子理论（81-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文