编辑配置文件（在新选项卡中打开） 莱因哈德，皮克勒 合著者距离 作者ID： 皮克勒·雷哈德 发布日期： 莱因哈德·皮克勒 外部链接： MGP公司 编入索引的文档： 62出版物自1998年以来 1名编辑贡献 审查活动： 4条评论 合著者： 46位合著者具有53联合出版物 876名合作作者 全部的 前5名合著者 10 单作者的 16 斯特凡·沃尔特兰 14 乔治·戈特洛布 7 斯特凡·吕梅尔 6 塞巴斯蒂安·斯科里泰克 5 瓦迪姆·萨文科夫 4 纳迪亚·克里诺 4 米基·赫尔曼 4 马库斯·克雷尔 4 马蒂亚斯·兰辛格 4 伊曼纽尔·萨林格 三 Fermüller，Christian G。 三 伊戈尔·拉兹贡 三 魏芳 2 伯恩哈德·布利姆 2 沃尔夫冈·费希尔 2 Phokion G.科莱蒂斯。 2 大卫·马里奥·隆戈 2 杰苏斯·麦地那 2 Cem奥库穆斯 2 赫里贝特·沃尔默 1 什奇蓬贾·艾哈迈塔吉 1 塞巴斯蒂安·阿明 1 巴勃罗·巴塞洛 1 利奥波多·贝尔托西。 1 弗朗索瓦·布里 1 沃尔夫冈·德沃亚克 1 埃格利，乌韦 1 诺伯特·艾辛格 1 托马斯·艾特 1 迈克尔·芬克 1 蒂姆·弗切 1 伯恩哈德Gramlich 1 迈克尔·雅克 1 科赫（Christoph T.Koch）。 1 马丁·拉克纳 1 安德烈斯·莱特利尔 1 克莱门斯·莱伊 1 Benedikt Linse公司 1 迈克尔·莫拉克 1 奥德尔·帕皮尼 1 佩雷斯（Jorge E.Pérez）。 1 安德烈亚斯·普范德勒 1 卢克·塞古芬 1 西蒙库斯，曼塔斯 1 斯泽德，斯特凡 1 汉斯·托姆皮茨 全部的 前5名系列 4 理论计算机科学 三 计算机与系统科学杂志 三 逻辑与计算杂志 2 人工智能 2 符号计算杂志 2 计算系统理论 2 美国医学会杂志 1 离散应用数学 1 ACM数据库系统事务 1 模糊集与系统 1 SIAM计算机杂志 1 信息与计算 1 数学与人工智能年鉴 1 约束条件 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 ACM实验算法杂志 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 领域 60 计算机科学（68至XX） 23 数学逻辑和基础（03-XX） 6 组合数学（05-XX） 4 运筹学、数学规划（90-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 50出版物有被引用191中的次148文件 引用人▼ 年份▼ 面向抽象论证的固定参数可处理算法。 Zbl 1251.68226号 沃尔夫冈·德沃亚克;莱因哈德·皮克勒;斯特凡·沃尔特兰 20 2012 有界树宽度是知识表示和推理可处理性的关键。 Zbl 1185.68690号 乔治·戈特洛布;莱因哈德·皮克勒;魏芳 19 2010 有界树宽有限结构上的一元数据日志。 Zbl 1351.68110号 乔治·戈特洛布;莱因哈德·皮克勒;魏芳 12 2010 XPath查询求值和XML类型的复杂性。 Zbl 1317.68073号 乔治·戈特洛布;科赫，克里斯托夫;莱因哈德·皮克勒;卢克·塞古芬 11 2005 命题逻辑片段中的信念修正。 Zbl 1433.03044号 纳迪亚·克里诺;奥德尔·帕皮尼;莱因哈德·皮克勒;斯特凡·沃尔特兰 8 2014 使用ARMs：Herbrand模型原子表示的复杂性结果。 Zbl 1007.03009号 乔治·戈特洛布;莱因哈德，皮克勒 7 2001 关于硬枚举问题的复杂性。 Zbl 1485.68105号 纳迪亚·克里诺;马库斯·克雷尔;莱因哈德·皮克勒;塞巴斯蒂安·斯科里泰克;赫里贝特·沃尔默 7 2017 硬枚举问题的复杂性理论。 Zbl 1419.05016号 纳迪亚·克里诺;马库斯·克雷尔;莱因哈德·皮克勒;塞巴斯蒂安·斯科里泰克;赫里贝特·沃尔默 7 2019 语义web查询的静态分析和优化。 Zbl 1321.68129号 安德烈斯·莱特利尔;佩雷斯，豪尔赫;莱因哈德·皮克勒;塞巴斯蒂安·斯科里泰克 6 2013 连词查询答案的可追踪计数。 Zbl 1408.68051号 莱因哈德·皮克勒;塞巴斯蒂安·斯科里泰克 6 2013 超级工作台。超图和实证结果的基准和工具。 Zbl 1499.68269号 沃尔夫冈·费希尔;乔治·戈特洛布;大卫·马里奥·隆戈;莱因哈德·皮克勒 5 2021 带权重约束的可追踪答案集编程：有界树宽是不够的。 Zbl 1310.68053号 莱因哈德·皮克勒;斯特凡·吕梅尔;斯泽德，斯特凡;斯特凡·沃尔特兰 5 2014 Herbrand宇宙子集的显式表示与隐式表示。 Zbl 1051.68061号 莱因哈德·皮克勒 4 2003 有界树宽的计数和枚举问题。 Zbl 1310.68118号 莱因哈德·皮克勒;斯特凡·吕梅尔;斯特凡·沃尔特兰 4 2010 计算命题推导的复杂性。 Zbl 1197.68072号 米基·赫尔曼;莱因哈德·皮克勒 4 2010 通过上下文和隐式泛化进行模型表示。 Zbl 1135.03327号 Fermüller，Christian G。;莱因哈德·皮克勒 4 2005 关于枚举设计良好的模式树的答案的复杂性。 Zbl 1369.68191号 马库斯·克雷尔;莱因哈德·皮克勒;塞巴斯蒂安·斯克里泰克 4 2016 模型检验中的超图：无环性和超宽与clique-width。 Zbl 0987.68046号 乔治·戈特洛布;莱因哈德·皮克勒 4 2001 有界树宽的快速计数。 Zbl 1182.68278号 迈克尔·雅克;莱因哈德·皮克勒;斯特凡·吕梅尔;斯特凡·沃尔特兰 三 2008 计算最优解的复杂性。 Zbl 1171.68011号 米基·赫尔曼;莱因哈德·皮克勒 三 2009 有效地解决方程式问题。 Zbl 0937.03019号 莱因哈德·皮克勒 三 1999 模型检验中的超图：无环性和超宽与clique-width。 Zbl 1062.03028号 乔治·戈特洛布;莱因哈德·皮克勒 三 2004 基于规则的查询应答的基础。 Zbl 1170.68646号 弗朗索瓦·布里;诺伯特·艾辛格;托马斯·艾特;蒂姆·弗切;乔治·戈特洛布;克莱门斯·莱伊;Benedikt Linse公司;莱因哈德·皮克勒;魏芳 三 2007 Herbrand模型的原子表示算法。 Zbl 0929.03021号 莱因哈德·皮克勒 2 1998 在Krom片段中，与SAT相关的硬推理任务变得更容易了吗？ Zbl 1403.68078号 纳迪亚·克里诺;莱因哈德·皮克勒;斯特凡·沃尔特兰 2 2018 计算最小基数和最小权重外推的复杂性。 Zbl 1178.68562号 米基·赫尔曼;莱因哈德·皮克勒 2 2008 模式映射的限制。 Zbl 1392.68170号 Phokion G.科莱蒂斯。;莱因哈德，皮克勒;伊曼纽尔·萨林格;瓦迪姆·萨文科夫 2 2018 有限和无限签名的模型表示。 Zbl 1139.03009号 Fermüller，Christian G。;莱因哈德·皮克勒 2 2007 隐式泛化的显式表示。 Zbl 0964.68071号 莱因哈德·皮克勒 2 2000 通过树分解的多截算法。 Zbl 1284.68303号 莱因哈德·皮克勒;斯特凡·吕梅尔;斯特凡·沃尔特兰 2 2010 有界剪接宽度图上的多截。 Zbl 1370.68232号 马丁·拉克纳;莱因哈德·皮克勒;斯特凡·吕梅尔;斯特凡·沃尔特兰 2 2012 基于动态编程的ASP求解器。 兹比尔1306.68011 迈克尔·莫拉克;莱因哈德·皮克勒;斯特凡·吕梅尔;斯特凡·沃尔特兰 2 2010 关于H包含的复杂性。 Zbl 0934.03017号 莱因哈德·皮克勒 2 1999 约束满足问题的快速并行分解。 Zbl 07594545号 乔治·戈特洛布;塞姆·奥库莫斯;莱因哈德·皮克勒 2 2022 广义和分数超树分解的复杂性分析。 Zbl 1499.68272号 乔治·戈特洛布;马蒂亚斯·兰辛格;莱因哈德·皮克勒;伊戈尔·拉兹贡 2 2021 关于CNF中方程问题的复杂性。 Zbl 1019.03010号 莱因哈德·皮克勒 1 2003 计算最优解的复杂性。 Zbl 1148.68381号 米基·赫尔曼;莱因哈德·皮克勒 1 2008 面向数据交换中核心计算的实际可行性。 Zbl 1187.68196号 莱因哈德·皮克勒;瓦迪姆·萨文科夫 1 2010 有界树宽的信念修正。 Zbl 1258.68145号 莱因哈德·皮克勒;斯特凡·吕梅尔;斯特凡·沃尔特兰 1 2009 有限域上非基础答案集编程中规则冗余的复杂性。 Zbl 1149.68331号 迈克尔·芬克;莱因哈德·皮克勒;汉斯·托姆皮茨;斯特凡·沃尔特兰 1 2007 约束子句逻辑中的完整性和冗余性。 Zbl 0955.03019号 莱因哈德·皮克勒 1 2000 从简单方程式中消除否定。 Zbl 0973.03014号 莱因哈德，皮克勒 1 2000 通过新的冗余标准加快Herbrand模型原子表示的算法。 Zbl 0969.03019号 莱因哈德·皮克勒 1 2000 学术界和工业界的数据记录。第二次国际研讨会，Datalog 2.0，奥地利维也纳，2012年9月11-13日。诉讼程序。 Zbl 1250.68013号 1 2012 重新审视了模式映射等价性的宽松概念。 Zbl 1270.68105号 莱因哈德·皮克勒;伊曼纽尔·萨林格;瓦迪姆·萨文科夫 1 2013 维修检查和一致查询回答的复杂性。 Zbl 1369.68179号 塞巴斯蒂安·阿明;莱因哈德·皮克勒;伊曼纽尔·萨林格 1 2016 基于逻辑的诱拐中处理最小解决方案的复杂性。 兹比尔1331.68218 安德烈亚斯·普范德勒;莱因哈德·皮克勒;斯特凡·沃尔特兰 1 2015 有界多交超图的分数覆盖。 Zbl 07559412号 乔治·戈特洛布;马蒂亚斯·兰辛格;莱因哈德·皮克勒;伊戈尔·拉兹贡 1 2020 数据交换的模糊扩展。 Zbl 1418.68076号 杰苏斯·麦地那;莱因哈德·皮克勒 1 2014 HyperTrac项目：超图分解的最新进展和未来研究方向。 Zbl 07636008号 乔治·戈特洛布;马蒂亚斯·兰辛格;大卫·马里奥·隆戈;塞姆·奥库莫斯;莱因哈德·皮克勒 1 2020 约束满足问题的快速并行分解。 Zbl 07594545号 乔治·戈特洛布;塞姆·奥库莫斯;莱因哈德·皮克勒 2 2022 HyperBench。超图和实证结果的基准和工具。 Zbl 1499.68269号 沃尔夫冈·费希尔;乔治·戈特洛布;大卫·马里奥·隆戈;莱因哈德·皮克勒 5 2021 广义和分数超树分解的复杂性分析。 兹比尔1499.68272 乔治·戈特洛布;马蒂亚斯·兰辛格;莱因哈德·皮克勒;伊戈尔·拉兹贡 2 2021 有界多交超图的分数覆盖。 Zbl 07559412号 乔治·戈特洛布;马蒂亚斯·兰辛格;莱因哈德·皮克勒;伊戈尔·拉兹贡 1 2020 HyperTrac项目：超图分解的最新进展和未来研究方向。 Zbl 07636008号 乔治·戈特洛布;马蒂亚斯·兰辛格;大卫·马里奥·隆戈;塞姆·奥库莫斯;莱因哈德，皮克勒 1 2020 硬枚举问题的复杂性理论。 Zbl 1419.05016号 纳迪亚·克里诺;马库斯·克雷尔;莱因哈德·皮克勒;塞巴斯蒂安·斯科里泰克;赫里贝特·沃尔默 7 2019 在Krom片段中，与SAT相关的硬推理任务变得更容易了吗？ Zbl 1403.68078号 纳迪亚·克里诺;莱因哈德·皮克勒;斯特凡·沃尔特兰 2 2018 模式映射的限制。 Zbl 1392.68170号 Phokion G.科莱蒂斯。;莱因哈德·皮克勒;伊曼纽尔·萨林格;瓦迪姆·萨文科夫 2 2018 关于硬枚举问题的复杂性。 Zbl 1485.68105号 纳迪亚·克里诺;马库斯·克雷尔;莱因哈德·皮克勒;塞巴斯蒂安·斯科里泰克;赫里贝特·沃尔默 7 2017 关于枚举设计良好的模式树的答案的复杂性。 兹比尔1369.68191 马库斯·克雷尔;莱因哈德·皮克勒;塞巴斯蒂安·斯科里泰克 4 2016 维修检查和一致查询回答的复杂性。 Zbl 1369.68179号 塞巴斯蒂安·阿明;莱因哈德，皮克勒;伊曼纽尔·萨林格 1 2016 基于逻辑的诱拐中处理最小解决方案的复杂性。 Zbl 1331.68218号 安德烈亚斯·普范德勒;莱因哈德·皮克勒;斯特凡·沃尔特兰 1 2015 命题逻辑片段中的信念修正。 Zbl 1433.03044号 纳迪亚·克里诺;奥德尔·帕皮尼;莱因哈德·皮克勒;斯特凡·沃尔特兰 8 2014 带权重约束的可追踪答案集编程：有界树宽是不够的。 兹比尔1310.68053 莱因哈德·皮克勒;斯特凡·吕梅尔;斯泽德，斯特凡;斯特凡·沃尔特兰 5 2014 数据交换的模糊扩展。 Zbl 1418.68076号 杰苏斯·麦地那;莱因哈德·皮克勒 1 2014 语义web查询的静态分析和优化。 Zbl 1321.68129号 安德烈斯·莱特利尔;佩雷斯，豪尔赫;莱因哈德·皮克勒;塞巴斯蒂安·斯科里泰克 6 2013 连词查询答案的可追踪计数。 Zbl 1408.68051号 莱因哈德·皮克勒;塞巴斯蒂安·斯科里泰克 6 2013 重新审视了模式映射等价性的放松概念。 Zbl 1270.68105号 莱因哈德·皮克勒;伊曼纽尔萨林格;瓦迪姆·萨文科夫 1 2013 面向抽象论证的固定参数可处理算法。 Zbl 1251.68226号 沃尔夫冈·德沃亚克;莱因哈德·皮克勒;斯特凡·沃尔特兰 20 2012 有界剪接宽度图上的多截。 Zbl 1370.68232号 马丁·拉克纳;莱因哈德·皮克勒;斯特凡·吕梅尔;斯特凡·沃尔特兰 2 2012 学术界和工业界的数据记录。第二次国际研讨会，Datalog 2.0，奥地利维也纳，2012年9月11-13日。诉讼程序。 Zbl 1250.68013号 1 2012 有界树宽度是知识表示和推理可处理性的关键。 Zbl 1185.68690号 乔治·戈特洛布;莱因哈德·皮克勒;魏芳 19 2010 有界树宽有限结构上的一元数据日志。 兹比尔1351.68110 乔治·戈特洛布;莱因哈德·皮克勒;魏芳 12 2010 有界树宽的计数和枚举问题。 Zbl 1310.68118号 莱因哈德·皮克勒;斯特凡·吕梅尔;斯特凡·沃尔特兰 4 2010 计算命题推导的复杂性。 Zbl 1197.68072号 米基·赫尔曼;莱因哈德·皮克勒 4 2010 通过树分解的多截算法。 Zbl 1284.68303号 莱因哈德·皮克勒;斯特凡·吕梅尔;斯特凡·沃尔特兰 2 2010 基于动态编程的ASP求解器。 Zbl 1306.68011号 迈克尔·莫拉克;莱因哈德·皮克勒;斯特凡·吕梅尔;斯特凡·沃尔特兰 2 2010 面向数据交换中核心计算的实际可行性。 兹比尔1187.68196 莱因哈德·皮克勒;瓦迪姆·萨文科夫 1 2010 计算最优解的复杂性。 Zbl 1171.68011号 米基·赫尔曼;莱因哈德·皮克勒 三 2009 有界树宽的信念修正。 兹比尔1258.68145 莱因哈德·皮克勒;斯特凡·吕梅尔;斯特凡·沃尔特兰 1 2009 有界树宽的快速计数。 Zbl 1182.68278号 迈克尔·雅克;莱因哈德·皮克勒;斯特凡·吕梅尔;斯特凡·沃尔特兰 三 2008 计算最小基数和最小权重外推的复杂性。 Zbl 1178.68562号 米基·赫尔曼;莱因哈德·皮克勒 2 2008 计算最优解的复杂性。 Zbl 1148.68381号 米基·赫尔曼;莱因哈德·皮克勒 1 2008 基于规则的查询应答的基础。 Zbl 1170.68646号 弗朗索瓦·布里;诺伯特·艾辛格;托马斯·艾特;蒂姆·弗切;乔治·戈特洛布;克莱门斯·莱伊;Benedikt Linse公司;莱因哈德·皮克勒;魏芳 三 2007 有限和无限签名的模型表示。 Zbl 1139.03009号 Fermüller，Christian G。;莱因哈德·皮克勒 2 2007 有限域上非基础答案集编程中规则冗余的复杂性。 Zbl 1149.68331号 迈克尔·芬克;莱因哈德·皮克勒;汉斯·托姆皮茨;斯特凡·沃尔特兰 1 2007 XPath查询求值和XML类型的复杂性。 Zbl 1317.68073号 乔治·戈特洛布;科赫，克里斯托夫;莱因哈德·皮克勒;卢克·塞古芬 11 2005 通过上下文和隐式泛化进行模型表示。 Zbl 1135.03327号 Fermüller，克里斯蒂安·G。;莱因哈德·皮克勒 4 2005 模型检验中的超图：无环性和超宽与clique-width。 Zbl 1062.03028号 乔治·戈特洛布;莱因哈德·皮克勒 三 2004 Herbrand宇宙子集的显式表示与隐式表示。 Zbl 1051.68061号 莱因哈德·皮克勒 4 2003 关于CNF中方程问题的复杂性。 Zbl 1019.03010号 莱因哈德·皮克勒 1 2003 使用ARM：Herbrand模型的原子表示的复杂性结果。 Zbl 1007.03009号 乔治·戈特洛布;莱因哈德·皮克勒 7 2001 模型检验中的超图：无环性和超宽与clique-width。 Zbl 0987.68046号 乔治·戈特洛布;莱因哈德·皮克勒 4 2001 隐式泛化的显式表示。 Zbl 0964.68071号 莱因哈德·皮克勒 2 2000 约束子句逻辑中的完整性和冗余性。 Zbl 0955.03019号 莱因哈德·皮克勒 1 2000 从简单方程式中消除否定。 Zbl 0973.03014号 莱因哈德·皮克勒 1 2000 通过新的冗余标准加快Herbrand模型原子表示的算法。 Zbl 0969.03019号 莱因哈德·皮克勒 1 2000 有效地解决方程式问题。 Zbl 0937.03019号 莱因哈德，皮克勒 三 1999 关于H包含的复杂性。 Zbl 0934.03017号 莱因哈德·皮克勒 2 1999 Herbrand模型的原子表示算法。 Zbl 0929.03021号 莱因哈德·皮克勒 2 1998 所有引用出版物 前5名被引用出版物 全部的 前5名241位作者引用 18 斯特凡·沃尔特兰 16 莱因哈德，皮克勒 9 斯泽德，斯特凡 7 沃尔夫冈·德沃亚克 7 约翰·克劳斯·费希特 7 乔治·戈特洛布 5 纳迪亚·克里诺 5 马库斯·赫彻 5 阿恩·迈尔 5 斯特凡·门格尔 5 塞巴斯蒂安·斯科里泰克 4 马库斯·克雷尔 4 塞巴斯蒂安·奥德尼亚克 4 尼古拉斯·佩尔蒂埃 4 斯特凡·吕梅尔 4 伊琳娜·辛德勒 4 赫里贝特·沃尔默 4 约翰·彼得·沃纳 三 佛罗伦萨卡佩利 三 布鲁诺·库塞尔 三 马蒂亚斯·兰辛格 三 维姆·马滕斯 三 托马斯·施文蒂克 三 武木友野 2 Abu-Khzam，费萨尔N。 2 安托万·阿马里利 2 Hiroki Arimura 2 伯恩哈德·布利姆 2 皮埃尔·布赫斯 2 诺法尔·卡梅利 2 格恩瑟·查瓦特 2 戴尔、霍尔格 2 阿诺·杜兰德 2 艾琳·杜兰德。 2 亨宁费尔瑙 2 罗伯特·加尼安 2 梅·盖尔克 2 吉安路易吉·格雷科 2 阿德里安·哈雷 2 米基·赫尔曼 2 马提亚斯·霍巴赫 2 Gonzalo E.伊玛兹。 2 汤姆·亚什·雅克 2 马蒂·Järvisalo 2 马克·卡明斯基 2 金恩贞（Kim，Eun Jung） 2 马丁·库特克 2 千田和弘 2 亚历山大·兰格 2 托马斯·林斯比勒 2 马丁·吕克 2 卡斯滕·卢茨 2 凯文·曼恩 2 何塞·梅塞盖尔·瓜伊塔 2 迈克尔·莫拉克 2 约阿希姆·尼伦 2 塞姆·奥库莫斯 2 奥德尔·帕皮尼 2 丹尼尔·保卢斯马 2 拉马南，普拉卡什五世。 2 卢卡·雷吉奥 2 彼得·罗斯马尼思 2 弗朗西斯科·斯卡切罗 2 皮埃尔·塞内拉特 2 斯蒂芬·斯基里克 2 帕特里克·蒂尔 2 库尼希罗·瓦萨 2 克里斯托夫·韦登巴赫 1 谢尔盖·阿比特布尔 1 纳比尔·阿德拉尔 1 特蕾莎·阿尔西尼特 1 格里戈里斯·安东尼奥 1 蒂莫斯·安东尼奥普洛斯 1 约塞普·阿格利奇 1 凯蒂·阿特金森 1 巴哈雷赫巴德班 1 林戈·鲍曼 1 多萝西娅·鲍迈斯特 1 彼得·鲍姆加特纳 1 Béjar，拉蒙 1 Michael A.Benedikt。 1 塞德里克·本茨 1 维罗尼克·本扎肯 1 克里斯托夫·贝奇 1 迈克尔·伯恩雷特 1 利奥波多·贝尔托西。 1 亨利克·比约克隆德 1 托马斯·巴西乌斯 1 瞎子，莎拉 1 Mikołaj博扬奇克 1 恩德尔博罗斯 1 埃琳娜·博托埃娃 1 H.J.Sander，布鲁金克 1 博格丹·考提斯 1 迪尔塞·卡文迪什 1 乔佩克，Ondřej 1 费德里科·塞鲁蒂 1 阿莱西奥·孔蒂 1 伊芙琳，孔蒂让 1 克里斯塔尼，马特奥 …还有141位作者 全部的 前5名30篇连载文章中引用 24 人工智能 11 理论计算机科学 10 计算机与系统科学杂志 8 计算系统理论 7 离散应用数学 5 算法 5 国际近似推理杂志 5 计算机科学中的逻辑方法 4 信息与计算 4 数学与人工智能年鉴 4 ACM计算逻辑事务 三 约束条件 三 逻辑程序设计理论与实践 2 信息处理信件 2 模糊集与系统 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 计算的形式方面 1 并行与分布式计算杂志 1 计算机科学中的数学结构 1 数学逻辑档案 1 应用非经典逻辑杂志 1 软计算 1 芝加哥理论计算机科学杂志 1 离散数学和理论计算机科学。DMTCS公司 1 计算机语言、系统和结构 1 ACM实验算法杂志 1 应用逻辑杂志 1 离散优化 1 计算机科学评论 全部的 前5名在8个字段中引用 142 计算机科学（68至XX） 47 数学逻辑和基础（03-XX） 22 组合数学（05-XX） 5 运筹学、数学规划（90-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 阶、格、有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文