编辑配置文件（在新选项卡中打开） 汉斯·克莱恩·勃宁 合著者距离 作者ID： 克莱恩·布宁·汉斯 发布日期： 汉斯·克莱恩·勃宁;Kleine Büning，H。;汉斯·克莱恩·勃宁;汉斯·克莱恩·布宁;汉斯·克莱恩·勃宁;Kleine Buening，H。 更多。。。较少的 外部链接： MGP公司 已编制索引的文档： 75出版物自1977年以来，包括3本书 11作为编辑的贡献·1进一步贡献 合著者： 34位合著者具有73联合出版物 1007合作作者 全部的 前5名合著者 14 单作者的 20 赵西顺 11 乌韦·布贝克 9 伊贡博格尔 9 特奥多·莱特曼 8 克里希纳·苏布拉马尼 6 迈克尔·里希特（Michael M.Richter）。 6 Wojciechowski，Piotr J。 5 乌尔里希·洛文 三 斯特凡·施密特根 2 恩德雷·博罗斯 2 迈克尔·布鲁 2 安德烈亚斯·弗勒格尔 2 约翰·V·佛朗哥。 2 乔治·加洛 2 彼得·拉迪斯劳·哈默 2 马雷克·卡宾斯基 2 普里塞·卢茨 2 埃瓦尔德·斯佩肯迈耶 1 基拉·弗拉迪斯拉夫娜·阿达里切娃 1 Hansjürgen，Brämik 1 拉玛斯瓦米·钱德拉塞卡兰 1 根纳季·达维多夫 1 达维多瓦，因纳 1 丁德成 1 艾蒂安·格兰让 1 意大利，朱塞佩·弗朗西斯科 1 西蒙·马提尼 1 Ernst W.迈尔。 1 托马斯·奥特曼 1 安贾·伦沙根 1 罗丁，迪特 1 沃尔伯加·罗丁 1 彼得·施密特（Peter H.Schmitt）。 1 沃尔夫冈·施恩费尔德 1 赫尔曼·斯坦姆·威尔勃朗 1 Gyorgy Turán 1 徐道云 全部的 前5名系列 8 计算机科学讲义 7 理论计算机科学 5 离散应用数学 5 数学与人工智能年鉴 4 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 三 信息处理信件 三 可满足性、布尔建模与计算杂志 2 Archive für Mathematische Logik und Grundlagenforschung公司 2 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 2 信息与计算 2 自动推理杂志 1 信息学报 1 人工智能 1 控制论学报 1 计算机与人工智能 1 信息处理与控制论杂志 1 欧洲理论计算机科学协会（EATCS）公报 1 AI通信 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 Elektronische信息verarbeitung und Kybernetik 1 RAIRO公司。Informatique Théorique et Applications公司 1 剑桥理论计算机科学丛书 1 离散数学专题 全部的 前5名领域 76 计算机科学（68至XX） 49 数学逻辑和基础（03-XX） 11 总体主题；集合（00-XX） 4 阶、格、有序代数结构（06-XX） 4 信息与通信理论、电路（94-XX） 2 运筹学、数学规划（90-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 53出版物有被引用383中的次261文件 引用人▼ 年份▼ 量化布尔公式的分辨率。 Zbl 0828.68045号 汉斯·克莱恩·勃宁;马雷克·卡宾斯基;安德烈亚斯·弗勒格尔 94 1995 命题逻辑：演绎和算法。Transl.公司。来自德国。 Zbl 0957.03001号 汉斯·克莱恩·勃宁;特奥多·莱特曼 48 1999 一类CNF子类最小不满足问题的有效算法。 Zbl 0913.68090号 根纳迪·达维多夫;伊纳达维多娃;汉斯·克莱恩·勃宁 28 1998 关于最小不可满足公式的子类。 Zbl 0965.03016号 汉斯·克莱恩·勃宁 17 2000 SAT竞赛报告。 Zbl 1023.68656号 迈克尔·布鲁;汉斯·克莱恩·勃宁 14 1993 预处理QBF的有界通用展开。 Zbl 1214.68331号 布贝克，乌韦;Kleine Büning，汉斯 13 2007 关于广义Horn公式和\（k\）-分辨率。 Zbl 0786.03009号 汉斯·克莱恩·勃宁 11 1993 在2CNF子句系统中寻找只读解决反驳。 Zbl 1435.03086号 汉斯·克莱恩·勃宁;彼得·沃伊切乔夫斯基;苏布拉马尼，K。 10 2018 只读解析的复杂性。 Zbl 1015.68081号 汉斯·克莱恩·勃宁;赵西顺 10 2002 依赖性量化霍恩公式：模型和复杂性。 Zbl 1187.68256号 乌韦·布贝克;汉斯·克莱恩·勃宁 9 2006 Horn约束系统中的限制割平面证明。 Zbl 1435.68303号 汉斯·克莱恩·勃宁;彼得·沃伊切乔夫斯基;Chandrasekaran，R。;苏布拉马尼，K。 9 2019 最小分辨率反驳的上限。 Zbl 0934.03015号 汉斯·克莱恩·勃宁 8 1999 量化布尔公式和电路子类的分辨率和表达性。 Zbl 1247.68237号 汉斯·克莱恩·勃宁;赵西顺;乌韦·布贝克 7 2009 关于几类极小不可满足公式的结构。 Zbl 1029.68078号 汉斯·克莱恩·勃宁;赵西顺 7 2003 在替换下关闭的可满足公式。 Zbl 0990.90550号 汉斯·克莱恩·勃宁;赵西顺 6 2001 将嵌套布尔函数编码为量化布尔公式。 Zbl 1331.68199号 乌韦·布贝克;汉斯·克莱恩·勃宁 6 2012 Horn公式中的读取分辨率。 Zbl 1525.68196号 汉斯·克莱恩·勃宁;沃伊切霍夫斯基，P。;苏布拉马尼，K。 5 2019 命题逻辑：演绎和算法。（澳大利亚语：Deduktion and Algorithmen。） Zbl 0809.03003号 汉斯·克莱恩·勃宁;特奥多·莱特曼 5 1994 SAT-关于变量数量的问题和减少。 Zbl 0882.68075号 艾蒂安·格兰让;汉斯·克莱恩·勃宁 5 1997 Kleine universelle mehrdimensionale Turingmaschinen公司。 Zbl 0363.02041号 汉斯·克莱恩·勃宁;托马斯·奥特曼 5 1977 量化Horn公式的模型和量词消除。 Zbl 1152.68051号 乌韦·布贝克;汉斯·克莱恩·勃宁 5 2008 布尔函数作为量化布尔公式的模型。 Zbl 1126.03015号 汉斯·克莱恩·勃宁;苏布拉马尼，K。;赵西顺 5 2007 量化Horn子句的计算复杂性。 Zbl 0664.03012号 马雷克·卡宾斯基;汉斯·克莱恩·勃宁;彼得·施密特（Peter H.Schmitt）。 5 1988 嵌套布尔函数作为量化布尔公式的模型。 Zbl 1390.68337号 乌韦·布贝克;汉斯·克莱恩·勃宁 三 2013 满意度测试的理论和应用——SAT 2008。2008年5月12日至15日，中国广州，第十一届国际SAT会议。诉讼程序。 Zbl 1136.68007号 三 2008 最小错误量化布尔公式。 Zbl 1152.68449号 汉斯·克莱恩·勃宁;赵西顺 三 2006 极小不可满足公式的某些子类的复杂性。 Zbl 1137.68028号 汉斯·克莱恩·勃宁;赵西顺 三 2007 向量加法系统可达集的投影是半线性的。 兹比尔0681.68080 Kleine Büning，汉斯;西奥多·莱特曼;Ernst W.迈尔。 三 1989 关于量化布尔霍恩公式的布尔模型。 Zbl 1204.03017号 汉斯·克莱恩·勃宁;苏布拉马尼，K。;赵西顺 三 2004 读单元分辨率。 Zbl 1204.03022号 汉斯·克莱恩·勃宁;赵西顺 三 2004 查找只读NAE解决方案反驳的复杂性。 Zbl 1483.68145号 汉斯·克莱恩·勃宁;彼得·沃伊切乔夫斯基;苏布拉马尼，K。 2 2017 计算具有固定缺陷的最小不可满足公式表示的多项式时间算法。 Zbl 1042.68105号 汉斯·克莱恩·勃宁;赵西顺 2 2002 计算机科学逻辑。1992年9月28日至10月2日，意大利圣米尼亚托CSL’92第六次研讨会。精选论文。 Zbl 0852.00039号 2 1993 关于量化布尔公式的模型。 Zbl 1099.68056号 汉斯·克莱恩·勃宁;赵西顺 2 2004 Mealy自动机的通用异步迭代数组。 Zbl 0414.68025号 汉斯·克莱恩·勃宁;普里塞·卢茨 2 1980 有限自动机网络。 Zbl 0416.68050号 罗丁，迪特;沃尔伯加·罗丁 2 1978 子句最小公式的推广和等价问题。 Zbl 1099.68041号 汉斯·克莱恩·勃宁;赵西顺 2 2005 简单命题公式的存在性。 Zbl 0704.68099号 汉斯·克莱恩·勃宁 2 1990 限制轻信默认推理的复杂性。 Zbl 0967.68132号 赵西顺;丁德成;汉斯·克莱恩·勃宁 2 2000 计算机科学逻辑。第四次研讨会，CSL’90，德国海德堡，1990年10月1日至5日。诉讼程序。 兹比尔0782.00052 1 1991 计算机科学逻辑。1991年10月7日至11日，瑞士伯尔尼，CSL’91第5次研讨会。诉讼程序。 Zbl 0772.68004号 1 1992 88年CSL。诉讼程序。第二届计算机科学逻辑研讨会，德国杜伊斯堡，1988年10月3日至7日。 Zbl 0709.00020号 1 1989 量化电路的正规形式转换。 Zbl 1330.68103号 汉斯·克莱恩·勃宁;赵西顺;乌韦·布贝克 1 2011 量化布尔公式的等效模型。 Zbl 1122.68471号 汉斯·克莱恩·勃宁;赵西顺 1 2005 命题逻辑子类的限制等价性。 Zbl 0787.03008号 弗勒格尔，A。;Kleine Büning，H。;莱特曼，T。 1 1993 早期鸟问题在具有4个状态的一维细胞空间中是无法解决的。 Zbl 0525.68031号 Kleine Buening，H。 1 1983 迭代层次的分类。 Zbl 0544.03016号 汉斯·克莱恩·勃宁 1 1983 Petri网的可达性问题和Skolem算法的决策问题。 Zbl 0453.03012号 伊贡博格尔;汉斯·克莱恩·勃宁 1 1980 用任意自由文字将（依赖-）量化的2-CNF重写为存在2-HORN。 Zbl 1306.68042号 乌韦·布贝克;汉斯·克莱恩·勃宁 1 2010 关于用简短条款解决问题。 Zbl 0892.03004号 迈克尔·布鲁;汉斯·克莱恩·勃宁 1 1996 具有固定最大缺陷的量化布尔公式的计算复杂性。 Zbl 1152.68022号 汉斯·克莱恩·勃宁;赵西顺 1 2008 关于可推导性问题优化命题演算公式。 兹比尔0668.03004 Kleine Büning，汉斯;乌尔里希·洛文 1 1989 关于2CNF公式中一次读取分辨率可判定性的计算复杂性。 Zbl 1485.68110号 汉斯·克莱恩·勃宁;彼得·沃伊切乔夫斯基;苏布拉马尼，K。 1 2017 Horn约束系统中的限制割平面证明。 Zbl 1435.68303号 汉斯·克莱恩·勃宁;彼得·沃伊切乔夫斯基;Chandrasekaran，R。;苏布拉马尼，K。 9 2019 Horn公式中的读取分辨率。 Zbl 1525.68196号 汉斯·克莱恩·勃宁;Wojciechowski，P。;苏布拉马尼，K。 5 2019 在2CNF子句系统中寻找只读解决反驳。 Zbl 1435.03086号 汉斯·克莱恩·勃宁;彼得·沃伊切乔夫斯基;苏布拉马尼，K。 10 2018 查找只读NAE解决方案反驳的复杂性。 Zbl 1483.68145号 汉斯·克莱恩·勃宁;彼得·沃伊切乔夫斯基;苏布拉马尼，K。 2 2017 关于2CNF公式中一次读取分辨率可判定性的计算复杂性。 Zbl 1485.68110号 汉斯·克莱恩·勃宁;彼得·沃伊切乔夫斯基;苏布拉马尼，K。 1 2017 嵌套布尔函数作为量化布尔公式的模型。 Zbl 1390.68337号 乌韦·布贝克;汉斯·克莱恩·勃宁 三 2013 将嵌套布尔函数编码为量化布尔公式。 Zbl 1331.68199号 乌韦·布贝克;汉斯·克莱恩·勃宁 6 2012 量化电路的正规形式转换。 Zbl 1330.68103号 汉斯·克莱恩·勃宁;赵西顺;乌韦·布贝克 1 2011 用任意自由文字将（依赖-）量化的2-CNF重写为存在2-HORN。 Zbl 1306.68042号 乌韦·布贝克;Kleine Büning，汉斯 1 2010 量化布尔公式和电路的子类的分辨率和表现力。 兹比尔1247.68237 汉斯·克莱恩·勃宁;赵西顺;乌韦·布贝克 7 2009 量化Horn公式的模型和量词消除。 Zbl 1152.68051号 乌韦·布贝克;汉斯·克莱恩·勃宁 5 2008 满意度测试的理论和应用——SAT 2008。2008年5月12日至15日，中国广州，第十一届国际SAT会议。诉讼程序。 Zbl 1136.68007号 三 2008 具有固定最大缺陷的量化布尔公式的计算复杂性。 Zbl 1152.68022号 汉斯·克莱恩·勃宁;赵西顺 1 2008 预处理QBF的有界通用展开。 Zbl 1214.68331号 乌韦·布贝克;汉斯·克莱恩·勃宁 13 2007 布尔函数作为量化布尔公式的模型。 Zbl 1126.03015号 汉斯·克莱恩·勃宁;苏布拉马尼，K。;赵西顺 5 2007 极小不可满足公式的某些子类的复杂性。 Zbl 1137.68028号 汉斯·克莱恩·勃宁;赵西顺 三 2007 依赖性量化霍恩公式：模型和复杂性。 Zbl 1187.68256号 乌韦·布贝克;汉斯·克莱恩·勃宁 9 2006 最小虚假量化布尔公式。 Zbl 1152.68449号 汉斯·克莱恩·勃宁;赵西顺 三 2006 子句最小公式的推广和等价问题。 Zbl 1099.68041号 汉斯·克莱恩·勃宁;赵西顺 2 2005 量化布尔公式的等效模型。 Zbl 1122.68471号 汉斯·克莱恩·勃宁;赵西顺 1 2005 关于量化布尔Horn公式的布尔模型。 兹伯利1204.03017 Kleine Büning，汉斯;苏布拉马尼，K。;赵西顺 三 2004 读单元分辨率。 Zbl 1204.03022号 汉斯·克莱恩·勃宁;赵西顺 三 2004 关于量化布尔公式的模型。 Zbl 1099.68056号 汉斯·克莱恩·勃宁;赵西顺 2 2004 关于几类极小不可满足公式的结构。 Zbl 1029.68078号 汉斯·克莱恩·勃宁;赵西顺 7 2003 只读解析的复杂性。 Zbl 1015.68081号 汉斯·克莱恩·勃宁;赵西顺 10 2002 计算具有固定缺陷的最小不可满足公式表示的多项式时间算法。 Zbl 1042.68105号 汉斯·克莱恩·勃宁;赵西顺 2 2002 在替换下关闭的可满足公式。 Zbl 0990.90550号 汉斯·克莱恩·勃宁;赵西顺 6 2001 关于最小不可满足公式的子类。 Zbl 0965.03016号 汉斯·克莱恩·勃宁 17 2000 限制轻信默认推理的复杂性。 Zbl 0967.68132号 赵西顺;丁德成;汉斯·克莱恩·勃宁 2 2000 命题逻辑：演绎和算法。Transl.公司。来自德国。 Zbl 0957.03001号 汉斯·克莱恩·勃宁;特奥多·莱特曼 48 1999 最小分辨率反驳的上限。 Zbl 0934.03015号 汉斯·克莱恩·勃宁 8 1999 一类CNF子类最小不满足问题的有效算法。 Zbl 0913.68090号 根纳季·达维多夫;达维多瓦，因纳;Büning，汉斯·克莱恩 28 1998 SAT-关于变量数量的问题和减少。 Zbl 0882.68075号 艾蒂安·格兰让;汉斯·克莱恩·勃宁 5 1997 关于用简短条款解决问题。 Zbl 0892.03004号 迈克尔·布鲁;汉斯·克莱恩·勃宁 1 1996 量化布尔公式的分辨率。 Zbl 0828.68045号 汉斯·克莱恩·勃宁;马雷克·卡宾斯基;安德烈亚斯·弗勒格尔 94 1995 命题逻辑：演绎和算法。（Aussagenlogik:演绎与算法。） Zbl 0809.03003号 汉斯·克莱恩·勃宁;特奥多·莱特曼 5 1994 SAT竞赛报告。 Zbl 1023.68656号 迈克尔·布鲁;汉斯·克莱恩·勃宁 14 1993 关于广义Horn公式和（k）-分解。 Zbl 0786.03009号 汉斯·克莱恩·勃宁 11 1993 计算机科学逻辑。1992年9月28日至10月2日，意大利圣米尼亚托CSL’92第六次研讨会。精选论文。 Zbl 0852.00039号 2 1993 命题逻辑子类的限制等价性。 Zbl 0787.03008号 弗勒格尔，A。;Kleine Büning，H。;莱特曼，T。 1 1993 计算机科学逻辑。1991年10月7日至11日，瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。 Zbl 0772.68004号 1 1992 计算机科学逻辑。1990年10月1日至5日，德国海德堡CSL’90第四次研讨会。诉讼程序。 Zbl 0782.00052号 1 1991 简单命题公式的存在性。 Zbl 0704.68099号 Kleine Büning，汉斯 2 1990 向量加法系统可达性集的投影是半线性的。 兹比尔0681.68080 汉斯·克莱恩·勃宁;特奥多·莱特曼;Ernst W.迈尔。 三 1989 88年CSL。诉讼程序。第二届计算机科学逻辑研讨会，德国杜伊斯堡，1988年10月3日至7日。 Zbl 0709.00020号 1 1989 针对可演绎性问题优化命题演算公式。 Zbl 0668.03004号 汉斯·克莱恩·勃宁;乌尔里希·洛文 1 1989 量化Horn子句的计算复杂性。 Zbl 0664.03012号 马雷克·卡宾斯基;汉斯·克莱恩·勃宁;彼得·施密特（Peter H.Schmitt）。 5 1988 早期鸟问题在具有4个状态的一维细胞空间中是无法解决的。 Zbl 0525.68031号 Kleine Buening，H。 1 1983 迭代层次的分类。 Zbl 0544.03016号 汉斯·克莱恩·勃宁 1 1983 Mealy自动机的通用异步迭代数组。 Zbl 0414.68025号 汉斯·克莱恩·勃宁;普里塞·卢茨 2 1980 Petri网的可达性问题和Skolem算法的决策问题。 Zbl 0453.03012号 伊贡博格尔;汉斯·克莱恩·勃宁 1 1980 有限自动机网络。 Zbl 0416.68050号 罗丁，迪特;沃尔伯加·罗丁 2 1978 Kleine universelle mehrdimensionale Turingmaschinen公司。 Zbl 0363.02041号 汉斯·克莱恩·勃宁;托马斯·奥特曼 5 1977 所有引用出版物 前5名被引用出版物 全部的 前5名318位作者引用 22 Kleine Büning，汉斯 21 奥拉夫·拜尔斯多夫 19 克里希纳·苏布拉马尼 18 斯泽德，斯特凡 15 Wojciechowski，Piotr J。 12 赵西顺 10 乔舒亚·布林霍恩 10 弗洛里安·隆辛 9 勒罗伊·周 9 塞德尔，玛蒂娜 8 Joáo P.塞尔瓦侯爵。 8 弗里德里希·斯利沃夫斯基 7 阿明·比尔 7 米科拉什·亚诺塔 7 奥利弗·库尔曼 7 米纳·马哈扬 6 埃格利，乌韦 6 托马斯·佩特尔 5 乌韦·布贝克 4 布鲁尼，雷纳托 4 克里斯·卡拉布罗 4 乔佩克，Ondřej 4 陈，胡比 4 罗伯特·加尼安 4 卢克·欣德 4 彼得·库切拉 4 穆勒，莫里茨 4 拉莫汗，帕图里 4 埃瓦尔德·斯佩肯迈耶 4 范·盖尔德，艾伦 三 贝恩德·贝克尔 三 本杰明·伯姆 三 恩德雷·博罗斯 三 纳迪亚·克里诺 三 马库斯·赫彻 三 罗素·英帕利亚佐 三 蒋洁红·罗兰 三 皮埃尔侯爵 三 保时捷、斯特凡 三 卢卡·普利纳 三 克里斯托夫·斯科尔 三 Šhukla，Anil K。 三 阿曼多·塔切拉 三 阿尔瓦罗·贝拉斯克斯 三 赫里贝特·沃尔默 三 拉尔夫·维默（Ralf D.Wimmer）。 三 斯特凡·沃尔特兰 2 玛尔塔·阿里亚斯 2 瓦莱里·巴拉巴诺夫 2 JoséLuis，Balcázar 2 迈克尔·鲍兰德 2 陈一佳 2 朱迪思·克莱莫 2 丁德成 2 爱德华·艾本 2 帕夫洛斯·艾里纳基斯 2 胡安·路易斯·埃斯特班 2 冯世光 2 约翰·克劳斯·费希特 2 弗鲁姆，约尔格 2 尼古拉·加莱西 2 海蒂·盖鲍尔 2 福斯托·金奇利亚 2 埃里克·格雷戈里 2 马修·格温 2 彼得·拉迪斯劳·哈默 2 Heule，Marijn J.H。 2 亚历山大·科根 2 弗里德里克·科里奇 2 特奥多·莱特曼 2 保罗·利伯拉托雷 2 贝特朗·马祖尔 2 特洛·尼利 2 塞巴斯蒂安·奥德尼亚克 2 塞德里克馅饼 2 大卫·艾伦（David Alan），Plaisted 2 多米尼克·舍德 2 雷娜特·施密特（Renate A.Schmidt）。 2 海宁·施诺尔 2 罗伯托·塞巴斯蒂亚尼 2 巴特·塞尔曼 2 罗伯特·H·斯隆。 2 卡提克Sreenivasaiah 2 马丁·苏达 2 帕特里克·蒂尔 2 马蒂亚斯·蒂姆 2 Gyorgy Turán 2 弗兰克·沃尔特 2 达米安·伍兹 1 塔斯尼姆·纳赛尔·叶海亚 1 埃里克·艾伦德。 1 Alt，Leonardo S。 1 马里奥·阿尔维亚诺 1 扎赫·安德劳斯（Zaher S.Andraus）。 1 胡安·安德烈斯·蒙托亚 1 奥费尔·阿列利 1 阿尔伯特·阿塞里亚斯 1 克里斯特尔·拜尔 1 托马斯·巴尔约 1 马库斯·贝勒 …还有218位作者 全部的 前5名47篇连载文章被引用 26 人工智能 19 理论计算机科学 15 数学与人工智能年鉴 14 离散应用数学 11 自动推理杂志 10 信息处理信件 8 计算机与系统科学杂志 7 信息与计算 7 计算系统理论 5 系统设计中的形式化方法 4 算法 4 约束条件 4 计算机科学中的逻辑方法 三 纯逻辑与应用逻辑年鉴 三 人工智能研究杂志 三 可满足性、布尔建模与计算杂志 2 信息学报 2 符号计算杂志 2 计算机科学与技术杂志 2 机器学习 2 应用非经典逻辑杂志 2 组合优化期刊 2 逻辑程序设计理论与实践 2 离散优化 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 计算机与数学及其应用 1 国际通用系统杂志 1 代数普遍性 1 信息科学 1 符号逻辑杂志 1 SIAM计算机杂志 1 合成 1 组合数学 1 物理D 1 国际近似推理杂志 1 SIAM离散数学杂志 1 MSCS公司。计算机科学中的数学结构 1 欧洲运筹学杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 中国科学通报 1 维斯特尼克圣彼得堡大学。数学 1 数学逻辑季刊（MLQ） 1 组合数学电子杂志 1 符号逻辑公报 1 JMMA公司。数学建模与算法杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 全部的 前5名在15个字段中引用 227 计算机科学（68至XX） 105 数学逻辑和基础（03-XX） 17 运筹学、数学规划（90-XX） 11 阶、格、有序代数结构（06-XX） 11 信息与通信理论、电路（94-XX） 5 组合数学（05-XX） 4 一般代数系统（08-XX） 三 生物学和其他自然科学（92-XX） 2 数论（11-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 1 交换代数（13-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 范畴理论；同调代数（18-XX） 1 几何图形（51至XX） 按年份列出的引文