编辑配置文件(在新选项卡中打开) 谢克曼,Jörg H。 合著者距离 作者ID: 西克曼·霍尔格 发布日期: 约格·西克曼;谢克曼,Jörg H。;J.西克曼。;希克曼,J.H。;Siekmann,Joerg H。;希克曼,J.-H。 更多。。。较少的 编入索引的文档: 57出版物自1963年以来 12作为编辑的贡献·1进一步贡献 传记参考: 2出版物 合著者: 50位合著者具有36份联合出版物 870名合作作者 全部的 前5名合著者 11 单作者的 7 克里斯托夫·埃瓦尔德·本兹穆勒 7 艾丽卡·梅利斯 6 格雷厄姆·怀特森 5 安德烈亚斯·梅耶 4 阿明·菲德勒 4 Dov M.加巴伊。 4 约翰·艾伦·罗宾逊 三 赫尔穆特·鲍尔。 三 Lassaad Cheikhrouhou 三 M.埃曼。 三 Metten,St。 三 马丁·波莱特 三 彼得·萨博 2 沃尔夫冈·比贝尔 2 卡尔·汉斯·伯勒修斯 2 书,罗纳德·弗农 2 丹尼尔·卡森(Daniel F.Carson)。 2 达维多夫,G.V。 2 克里斯托弗·约翰霍格 2 迈克尔·科尔哈斯 2 唐纳德·洛夫兰。 2 S.Yu,马斯洛夫。 2 格里戈里·埃弗罗伊莫维奇造币厂 2 伊曼纽尔·诺曼 2 奥列夫科夫(V.P.Orevkov)。 2 Pao、Sui Kwong 2 Prawitz,达格 2 乔治·罗宾逊。 2 克劳斯·雷纳罗林格 2 A.O.斯利森科。 2 沃尔克·索尔格 2 克劳斯·皮特·沃思 1 罗伯特·布罗科特·安德森 1 安德鲁斯,彼得·B·。 1 谢尔盖·奥特西尔 1 Bartkowiak,K。 1 克里斯托夫·贝尔 1 本迪克斯,P.B。 1 J.H.贝内特。 1 保罗·伯奈斯 1 埃弗特·威廉·贝思 1 罗伯特·W·宾克利。 1 伍德罗·W·布莱索。 1 海因兹·迪特·Böcker 1 格特·伯姆 1 哈罗德·博利 1 弗拉基米尔·勃列日涅夫 1 乍得·布朗·爱德华 1 莫里斯·布吕诺格 1 罗伯特·克拉克。 1 马修·克罗克。 1 戴维斯,马丁·戴维 1 尼古拉斯·戈弗特·德布鲁因 1 德雷施勒,L。 1 布拉德福德·邓纳姆 1 杜尔,H.M。 1 诺伯特·艾辛格 1 Fehrer,Detlef公司 1 乔根·福思(Joergen P.Foith)。 1 安德烈亚斯·弗兰克 1 弗里德沙尔,R。 1 迈克尔·加巴伊(Michael J.Gabbay)。 1 B.甘伯特。 1 赫伯特·L·盖伦特。 1 保罗·C·吉尔摩。 1 J.R.卫德。 1 克里斯托弗·哈贝尔 1 帕特里克·J·海斯。 1 乌尔里希·赫德斯蒂克 1 汉斯·沃纳·海因 1 劳伦斯·亨森。 1 亚历山大·赫罗德 1 大卫·希尔伯特 1 迈克尔·霍切 1 克劳斯·马丁·霍尔宁 1 赫尔穆特·霍拉切克 1 君特霍农 1 黄晓荣 1 迪特尔·赫特 1 约翰·W·。 1 斯蒂格·康格 1 霍华德·凯利。 1 曼弗雷德·科伯 1 Knapp,美国。 1 唐纳德·埃尔文(Donald Ervin Knuth) 1 卡斯滕·康拉德 1 布鲁诺·兰根斯坦 1 乔治·洛格曼 1 幸运,K.v。 1 大卫·C·勒克汉姆。 1 亨氏马伯格 1 伯纳德·梅尔泽 1 路易斯·莫尼兹·佩雷拉 1 卡萨琳娜·莫里克 1 詹姆斯·莫里斯。 1 马库斯·莫什内尔 1 汉斯·赫尔穆特·纳格尔 1 艾伦·纽厄尔 1 北,J.H。 1 汉斯·约阿希姆·诺瓦克 ……还有45位合著者 全部的 前5名系列 7 Zeitschrift für Angewandte Mathematik und Mechanik(ZAMM) 4 流体力学杂志 三 人工智能 三 建筑师 2 机械学报 2 符号计算杂志 2 信息-Fachberichte 2 计算机科学课堂讲稿 1 宇航学报 1 信息学报 1 符号逻辑杂志 1 力学研究通讯 1 半群论坛 1 自动推理杂志 1 吉泰。实验与理论人工智能杂志 1 MSCS公司。计算机科学中的数学结构 1 伦敦皇家学会会刊。系列A.数学和物理科学 1 IGPL逻辑杂志 1 美国医学会杂志 1 扎姆。Zeitschrift für Angewandte Mathematik und Mechanik公司 1 应用逻辑杂志 1 工业与应用数学学会杂志 1 逻辑史手册 1 逻辑研究(伦敦) 1 认知技术 全部的 前5名领域 46 计算机科学(68至XX) 21 数学逻辑和基础(03-XX) 16 流体力学(76-XX) 7 总体主题;集合(00-XX) 7 历史和传记(01-XX) 三 一般代数系统(08-XX) 2 群论与推广(20-XX) 2 数值分析(65-XX) 2 数学教育(97-XX) 1 组合数学(05-XX) 1 数论(11-XX) 1 经典热力学,传热(80-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用323中的次272份文件 引用人▼ 年份▼ 统一理论。 Zbl 0678.68098号 谢克曼,Jörg H。 67 1989 人工智能和逻辑编程逻辑手册。第2卷:扣除方法。 Zbl 0810.68005号 55 1994 人工智能和逻辑编程逻辑手册。第一卷:逻辑基础。 兹比尔0808.68027 26 1993 统一理论导论。 Zbl 0704.68096号 希克曼,J.H。 22 1990 阿贝尔半群中的统一。 Zbl 0637.68106号 亚历山大·赫罗德;谢克曼,Jörg H。 21 1987 推理的自动化。2:1967-1970年关于计算逻辑的经典论文。 Zbl 0567.03002号 20 1983 普遍统一。 Zbl 0547.03011号 谢克曼,Jörg H。 19 1984 幂等半群的Noetherian和合流重写系统。 Zbl 0493.68087号 J.西克曼。;P.萨博。 17 1982 普遍统一。 Zbl 0584.68050号 J.西克曼。;Szabó,P。 17 1982 推理自动化。1:1957-1966年关于计算逻辑的经典论文。 Zbl 0567.03001号 13 1983 计算机支持的数学与\(\Omega\)MEGA。 Zbl 1107.68101号 约格·西克曼;克里斯托夫·本兹穆勒;谢尔盖·奥特西尔 12 2006 一种用于知识表示系统的有序逻辑。 Zbl 0768.68196号 C·拜尔勒。;Hedtstück,美国。;普莱塔特,美国。;施密特,P.H。;J.西克曼。 11 1992 \(\欧米茄\)百万:朝向数学助理。 Zbl 1430.68393号 克里斯托夫·本兹穆勒;Lassaad Cheikhrouhou;Fehrer、Detlef;阿明·菲德勒;黄晓荣;曼弗雷德·科伯;迈克尔·科尔哈斯;卡斯滕·康拉德;安德烈亚斯·梅耶;艾丽卡·梅利斯;沃尔夫·沙尔斯奇米特;约尔格·西克曼;沃尔克·索尔格 10 1997 (D_A)-统一问题的不可判定性。 Zbl 0701.03020号 J.西克曼。;Szabó,P。 8 1989 用\(\Omega\)MEGA验证开发:\(\sqrt 2)的不合理性。 Zbl 1063.68093号 约尔格·西克曼;克里斯托夫·本兹穆勒;阿明·菲德勒;安德烈亚斯·梅耶;伊曼纽尔·诺曼;马丁·波莱特 7 2003 基于知识的证明规划。 Zbl 0939.68822号 梅利斯,E。;J.西克曼。 7 1999 使用\(\Omega\)MEGA验证开发。 Zbl 1072.68591号 约格·西克曼;克里斯托夫·本兹穆勒;弗拉基米尔·勃列日涅夫;Lassaad Cheikhrouhou;阿明·菲德勒;安德烈亚斯·弗兰克;赫尔穆特·霍拉切克;迈克尔·科尔哈斯;安德烈亚斯·梅耶;艾丽卡·梅利斯;马库斯·莫什内尔;伊曼纽尔·诺曼;马丁·波莱特;沃尔克·索尔格;卡斯滕·乌尔里奇;克劳斯·皮特·沃思;尤根·齐默 7 2002 海洋动物运动的理论研究。二、。 Zbl 0112.40802号 J.西克曼。 7 1963 用\(\Omega\)MEGA:\(\sqrt{2}\)进行验证开发是不合理的。 Zbl 1023.68660号 J.西克曼。;Benzmüller,C。;A.菲德勒。;梅耶,A。;Pollet,M。 6 2002 交换性下的匹配。 Zbl 0441.68110号 约格·西克曼 5 1979 Grundlagen der Mathematik公司。数学基础。一、A部分前言和§§1–2。由Dov Gabbay、Michael Gabbay,Jörg Siekmann和Claus-Peter Wirth编辑并附有序言。由克劳斯·彼得·沃思(Claus-Peter Wirth)评论1968年第二版德语的翻译,包括1934年第一版德语所有删除部分的注释和翻译。威尔弗里德·西格(Wilfried Sieg)写了一章“希尔伯特的证明理论”。英语-德语双文本。 Zbl 1283.03005号 大卫·希尔伯特;保罗·伯奈斯 5 2011 ActiveMath:一个智能的数学辅导系统。 Zbl 1058.97500号 艾丽卡·梅利斯;约格·西克曼 4 2004 输送脉动不可压缩液体的可膨胀流体管线的动力学行为。 Zbl 0446.76099号 H.F.鲍尔。;梅滕,圣。;西克曼,J。 4 1980 用边界积分技术对流体振荡问题进行数值研究。 Zbl 0629.76115号 杜尔,H.M。;J.西克曼。 4 1987 计算逻辑。 Zbl 1311.03006号 4 2014 规划对角化证明。 Zbl 0929.03020号 Lassaad Cheikhrouhou;约格·西克曼 三 1998 参数化连接图。 Zbl 0407.05070号 约格·西克曼;格雷厄姆·怀特森 三 1980 关于统一:等式理论没有边界。 Zbl 0629.68037号 书籍,R.V。;希克曼,J.H。 三 1986 基于图的方程式推理的部分统一。 Zbl 0656.68102号 卡尔·汉斯·伯勒修斯;谢克曼,Jörg H。 三 1988 零粒度下流体颗粒热毛细运移的数值分析。 Zbl 0785.76046号 M.埃曼。;沃兹尼亚克,G。;J.西克曼。 2 1992 连接图证明过程的完整性和可靠性。 Zbl 0399.68088号 斯蒂芬·W·。;J.西克曼。 2 1979 关于任意有限厚度柔性板的游动。 Zbl 0125.42803号 尤德里克,J.P。;西克曼,J。 2 1964 关于具有柔性底部的圆柱形储罐中液体的动力学。 Zbl 0159.57301号 J.西克曼。;S.-C.Chang。 2 1968 旋转圆柱形容器中具有旋转对称性的轴向激励液环振动的数值研究。 Zbl 0849.76092号 埃曼,M。;J.西克曼。 2 1995 用多种策略验证计划。 Zbl 1182.68259号 艾丽卡·梅利斯;安德烈亚斯·梅耶;约格·西克曼 2 2008 \(Omega)MEGA:计算机支持的数学。 Zbl 1132.68682号 约格·西克曼;克里斯托夫·本兹穆勒 1 2004 验证支持环境(VSE)中的正式软件开发。 Zbl 1010.68026号 迪特尔·赫特;布鲁诺·兰根斯坦;乔治·洛克;谢克曼,Jörg H。;沃纳·斯蒂芬;罗兰·沃格特 1 2000 椭圆截面环形翼型的分析。一: 一般理论。 Zbl 0123.20502号 J.西克曼。 1 1964 U.ber Flüssigkeitsschwingungen在einem horizontalen Kreiszylinder。(关于水平圆柱中的流体振荡)。 Zbl 0645.76016号 Bartkowiak,K。;B.甘伯特。;西克曼,J。 1 1986 基于广义嵌入的E-统一。 Zbl 1489.68117号 彼得·萨博;约格·西克曼 1 2021 什么是本质上的统一? Zbl 1439.68022号 彼得·萨博;约格·西克曼;迈克尔·霍切 1 2016 基于广义嵌入的E-统一。 Zbl 1489.68117号 彼得·萨博;约格·西克曼 1 2021 什么是基本统一? Zbl 1439.68022号 彼得·萨博;约格·西克曼;迈克尔·霍切 1 2016 计算逻辑。 Zbl 1311.03006号 4 2014 Grundlagen der Mathematik公司。I/数学基础。I.第一部分前言和§§1-2。由Dov Gabbay、Michael Gabbay,Jörg Siekmann和Claus-Peter Wirth编辑并附有序言。由克劳斯·彼得·沃思(Claus-Peter Wirth)评论1968年第二版德语的翻译,包括1934年第一版德语所有删除部分的注释和翻译。威尔弗里德·西格(Wilfried Sieg)写了一章“希尔伯特的证明理论”。英语-德语双文本。 Zbl 1283.03005号 大卫·希尔伯特;保罗·伯奈斯 5 2011 用多种策略验证计划。 Zbl 1182.68259号 艾丽卡·梅利斯;安德烈亚斯·梅耶;约格·西克曼 2 2008 计算机支持的数学与\(\Omega\)MEGA。 Zbl 1107.68101号 约格·西克曼;克里斯托夫·本兹穆勒;谢尔盖·奥特西尔 12 2006 ActiveMath:一个智能数学辅导系统。 Zbl 1058.97500号 艾丽卡·梅利斯;约格·西克曼 4 2004 \(Omega)MEGA:计算机支持的数学。 Zbl 1132.68682号 约格·西克曼;克里斯托夫·本兹穆勒 1 2004 用\(\Omega\)MEGA验证开发:\(\sqrt 2)的不合理性。 Zbl 1063.68093号 约格·西克曼;克里斯托夫·本兹穆勒;阿明·菲德勒;安德烈亚斯·梅耶;伊曼纽尔·诺曼;马丁·波莱特 7 2003 使用\(\Omega\)MEGA验证开发。 Zbl 1072.68591号 约尔格·西克曼;克里斯托夫·本兹穆勒;弗拉基米尔·勃列日涅夫;Lassaad Cheikhrouhou;阿明·菲德勒;安德烈亚斯·弗兰克;赫尔穆特·霍拉切克;迈克尔·科尔哈斯;安德烈亚斯·梅耶;艾丽卡·梅利斯;马库斯·莫什内尔;伊曼纽尔·诺曼;马丁·波莱特;沃尔克·索尔格;卡斯滕·乌尔里奇;克劳斯·皮特·沃思;尤根·齐默 7 2002 用\(\Omega\)MEGA:\(\sqrt{2}\)进行验证开发是不合理的。 Zbl 1023.68660号 J.西克曼。;Benzmüller,C。;A.菲德勒。;梅耶,A。;Pollet,M。 6 2002 验证支持环境(VSE)中的正式软件开发。 Zbl 1010.68026号 迪特尔·赫特;布鲁诺·兰根斯坦;洛克,乔治;谢克曼,Jörg H。;沃纳·斯蒂芬;罗兰·沃格特 1 2000 基于知识的证明规划。 Zbl 0939.68822号 梅利斯,E。;J.西克曼。 7 1999 规划对角化证明。 Zbl 0929.03020号 Lassaad Cheikhrouhou;约格·西克曼 三 1998 \(\欧米茄\)百万:朝向数学助理。 Zbl 1430.68393号 克里斯托夫·本兹穆勒;Lassaad Cheikhrouhou;Fehrer、Detlef;阿明·菲德勒;黄晓荣;曼弗雷德·科伯;迈克尔·科尔哈斯;卡斯滕·康拉德;安德烈亚斯·梅耶;艾丽卡·梅利斯;沃尔夫·沙尔斯奇米特;约格·西克曼;沃尔克·索尔格 10 1997 旋转圆柱形容器中具有旋转对称性的轴向激励液环振动的数值研究。 Zbl 0849.76092号 M.埃曼。;J.西克曼。 2 1995 人工智能和逻辑编程逻辑手册。第2卷:扣除方法。 兹比尔0810.68005 55 1994 人工智能和逻辑编程逻辑手册。第一卷:逻辑基础。 Zbl 0808.68027号 26 1993 一种用于知识表示系统的有序逻辑。 Zbl 0768.68196号 C·拜尔勒。;Hedtstück,美国。;普莱塔特,美国。;施密特,P.H。;J.西克曼。 11 1992 零粒度下流体颗粒热毛细运移的数值分析。 Zbl 0785.76046号 M.埃曼。;沃兹尼亚克,G。;J.西克曼。 2 1992 统一理论导论。 Zbl 0704.68096号 希克曼,J.H。 22 1990 统一理论。 Zbl 0678.68098号 谢克曼,Jörg H。 67 1989 (D_A)-统一问题的不可判定性。 Zbl 0701.03020号 J.西克曼。;Szabó,P。 8 1989 基于图的方程式推理的部分统一。 Zbl 0656.68102号 卡尔·汉斯·伯勒修斯;谢克曼,Jörg H。 三 1988 阿贝尔半群中的统一。 Zbl 0637.68106号 亚历山大·赫罗德;谢克曼,Jörg H。 21 1987 用边界积分技术对流体振荡问题进行数值研究。 Zbl 0629.76115号 杜尔,H.M。;J.西克曼。 4 1987 关于统一:等式理论没有边界。 Zbl 0629.68037号 书籍,R.V。;希克曼,J.H。 三 1986 U.ber Flüssigkeitsschwingungen在einem horizontalen Kreiszylinder。(关于水平圆柱体中的流体振荡)。 Zbl 0645.76016号 Bartkowiak,K。;B.甘伯特。;J.西克曼。 1 1986 普遍统一。 Zbl 0547.03011号 谢克曼,Jörg H。 19 1984 推理的自动化。2:1967年至1970年关于计算逻辑的经典论文。 Zbl 0567.03002号 20 1983 推理自动化。1:1957-1966年关于计算逻辑的经典论文。 Zbl 0567.03001号 13 1983 幂等半群的Noetherian和合流重写系统。 兹伯利0493.68087 J.西克曼。;P.萨博。 17 1982 普遍统一。 Zbl 0584.68050号 J.西克曼。;Szabó,P。 17 1982 输送脉动不可压缩液体的可膨胀流体管线的动力学行为。 Zbl 0446.76099号 H.F.鲍尔。;梅滕,圣。;J.西克曼。 4 1980 参数化连接图。 Zbl 0407.05070号 约格·西克曼;格雷厄姆·怀特森 三 1980 交换性下的匹配。 Zbl 0441.68110号 约格·西克曼 5 1979 连接图证明程序的完整性和可靠性。 Zbl 0399.68088号 斯蒂芬·W·。;J.西克曼。 2 1979 关于具有柔性底部的圆柱形储罐中液体的动力学。 Zbl 0159.57301号 J.西克曼。;Chang,南卡罗来纳州。 2 1968 关于任意有限厚度柔性板的游动。 Zbl 0125.42803号 尤德里克,J.P。;J.西克曼。 2 1964 椭圆截面环形翼型的分析。一: 一般理论。 Zbl 0123.20502号 西克曼,J。 1 1964 海洋动物运动的理论研究。二、。 Zbl 0112.40802号 J.西克曼。 7 1963 所有引用出版物 前5名被引用出版物 全部的 前5名397位作者引用 10 克里斯托夫·埃瓦尔德·本兹穆勒 8 弗兰兹·巴德 8 曼弗雷德·施密特·沙乌 8 谢克曼,Jörg H。 6 玛丽亚·阿尔普特 6 劳伦斯·查尔斯·保尔森 5 恩里科·金西格里亚 5 何塞·梅塞盖尔·瓜伊塔 5 阿拉斯代尔·厄克哈特 4 Samuel R.巴斯。 4 伊芙琳·孔特让 4 圣地亚哥埃斯科瓦尔 4 加布里埃尔·克恩·伊斯伯纳 4 马可·马拉提亚 4 米凯尔·里特里 4 萨特克利夫,杰夫 三 毛里西奥·阿亚拉·林科恩 三 克里斯托夫·贝尔 三 沃尔夫拉姆·伯特纳 三 比尔科特,汉斯·尤根 三 玛丽贝尔·费尔南德斯 三 米基·赫尔曼 三 塞萨里·卡利西克 三 Phokion G.科莱蒂斯。 三 弗拉基米尔·利夫希茨 三 艾丽卡·梅利斯 三 纳伦德兰,帕里斯 三 托比亚斯·尼普科 三 奥莫多,尤金尼奥·乔瓦尼 三 亨利·普拉德。 三 Daniele Nantes Sobrinho 三 彼得·萨博 三 泰丝,弗兰克 三 克里斯托夫·韦登巴赫 三 克劳斯·皮特·沃思 2 奥费尔·阿列利 2 谢尔盖·奥特西尔 2 奇塔·R·巴拉尔。 2 彼得·鲍姆加特纳 2 贾斯敏·克里斯蒂安·布兰切特 2 亚历山大·博克迈尔 2 Böhme,萨沙 2 亚历山大·布代特 2 乍得·布朗·爱德华 2 Randal E.布莱恩特。 2 斯坦利·N·伯里斯。 2 Cardenas-Viedma,M.Antonia 2 华盛顿州,de Carvalho-Segundo 2 格特·德库曼 2 多米尼克·迪特里希 2 埃格利,乌韦 2 诺伯特·艾辛格 2 托马斯·艾特 2 莫雷诺,法拉斯基 2 Farmer,William M。 2 阿尔布雷赫特·福滕巴赫 2 西尔维奥·吉拉尔迪 2 Heule,Marijn J.H。 2 迈克尔·霍切 2 迪帕克·卡普尔 2 特默尔库西亚 2 门闩,Dana May 2 唐纳德·洛夫兰。 2 希拉·麦克拉伊思。 2 安德烈亚斯·梅耶 2 孟,贾 2 沃纳·纳特 2 汉斯·尤根·奥巴赫 2 佩德罗·奥赫达 2 弗里德里希·奥托 2 莱因哈德·皮克勒 2 阿尔贝托,Policriti 2 埃瓦里斯特·舒尔茨 2 克劳斯·舒尔茨。 2 赫尔穆特·西蒙尼斯 2 格特·斯莫尔卡 2 韦恩·斯奈德 2 亚历山大·斯蒂恩 2 苏布拉曼尼亚,V.S。 2 迈克尔·泰尔舍尔 2 约瑟夫·乌尔班 2 马克·奥利弗·瓦格纳 1 穆罕默德·阿迪 1 阿尔特·卡奇,哈桑 1 法里德·阿基利 1 吕克·阿尔伯特 1 迈克尔·亨利·阿尔伯特 1 特蕾莎·阿尔辛 1 乔瓦尼·阿蒙多拉 1 埃亚尔·埃米尔 1 哈伊纳尔·安德雷卡 1 安德鲁斯,彼得·B·。 1 罗杰·安东森 1 亚历山德罗·阿曼多 1 谢尔盖·阿特莫夫 1 艺术,托马斯 1 大卫·阿斯皮纳尔 1 保罗·巴尔丹 1 Barceló-Aspeitia,Axel Arturo 1 达米安·巴索蒂 …还有297位作者 全部的 前5名40篇连载文章被引用 35 人工智能 29 符号计算杂志 25 自动推理杂志 23 理论计算机科学 12 应用逻辑杂志 8 信息与计算 7 纯逻辑与应用逻辑年鉴 5 信息处理信件 5 数学与人工智能年鉴 4 模糊集与系统 4 国际近似推理杂志 三 信息科学 三 MSCS公司。计算机科学中的数学结构 2 计算机与系统科学杂志 2 计算机科学与技术杂志 2 新一代计算 2 吉泰。实验与理论人工智能杂志 2 RAIRO公司。Informatique Théorique et Applications公司 2 埃尔肯特尼斯 2 逻辑与代数程序设计杂志 2 计算机科学中的数学 2 计算机科学中的逻辑方法 1 信息学报 1 纯粹数学与应用数学交流 1 国际通用系统杂志 1 代数普遍性 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 代数杂志 1 纯粹与应用代数杂志 1 圣母院形式逻辑杂志 1 Studia Logica公司 1 计算的形式方面 1 控制论与系统分析 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 函数编程杂志 1 符号逻辑公报 1 约束条件 1 逻辑程序设计理论与实践 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在20个字段中引用 235 计算机科学(68至XX) 119 数学逻辑和基础(03-XX) 9 一般代数系统(08-XX) 9 群论与推广(20-XX) 4 历史和传记(01-XX) 4 范畴理论;同调代数(18-XX) 三 阶、格、有序代数结构(06-XX) 三 结合环与代数(16-XX) 2 组合数学(05-XX) 2 数论(11-XX) 2 运筹学、数学规划(90-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 数学教育(97-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 测量和集成(28-XX) 1 常微分方程(34-XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文