编辑配置文件（在新选项卡中打开） Jerzy Tiuryn 合著者距离 作者ID： 蒂尔林·杰奇 发布日期： Jerzy Tiuryn；Tiuryn，J。 外部链接： MGP公司·维基数据·ID参考·这些.fr 已编制索引的文档： 83出版物自1975年以来，包括6本书 2作为编辑的贡献 传记参考： 2出版物 合著者： 26位合著者具有52联合出版物 776位联合作者 全部的 前5名合著者 33 单作者的 11 Jan A.Bergstra。 11 巴威·乌尔兹琴 7 阿萨夫·科福里。 5 德克斯特·C·科赞。 4 波威·戈雷基 4 Ryszard Rudnicki 4 达米安·沃伊托维奇 三 大卫·本森。 三 艾伯特·罗纳德·梅耶 三 约翰·V·塔克。 2 维维亚娜·博诺 2 安娜·奇米林斯卡 2 大卫·哈雷 2 米切尔·旺德 1 彼得·伯曼 1 马里亚纽拉州Dezani-Ciancaglini 1 Joseph Yehuda Halpern 1 阿希姆·荣格 1 沃伊切赫·科瓦尔奇克 1 达米安·尼文斯基 1 Leszek M.帕霍尔斯基。 1 沃恩·R·普拉特。 1 拉多姆斯基，Jan P。 1 西蒙娜·隆奇·德尔拉·罗卡 1 纳塔利亚·鲁特卡 1 斯隆尼斯基（Piotr P.Slonimski）。 全部的 前5名系列 10 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 7 理论计算机科学 7 信息与计算 三 信息和控制 2 应用科学中的数学模型与方法 2 计算机科学课堂讲稿 1 数学生物学杂志 1 信息科学 1 计算机协会杂志 1 计算机与系统科学杂志 1 计算机基础理论 1 ACM计算逻辑事务 1 《科学公报》、《数学科学》、《天文学与物理学》 1 研讨会，柏林洪堡大学，Sektion Mathematik 全部的 前5名领域 70 计算机科学（68至XX） 37 数学逻辑和基础（03-XX） 9 生物学和其他自然科学（92-XX） 8 一般代数系统（08-XX） 7 有序，格，有序代数结构（06-XX） 4 范畴理论；同调代数（18-XX） 三 组合数学（05-XX） 2 总体主题；集合（00-XX） 2 概率论与随机过程（60-XX） 1 群论与推广（20-XX） 1 算子理论（47-XX） 1 一般拓扑结构（54至XX） 1 统计学（62-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 64出版物有被引用620中的次541文件 引用人▼ 年份▼ 动态逻辑。 Zbl 0976.68108号 大卫·哈雷；德克斯特·科赞；Jerzy Tiuryn 272 2000 程序逻辑。 Zbl 0900.68306号 德克斯特·科赞；Jerzy Tiuryn 38 1990 独特的固定点与最少的固定点。 Zbl 0439.68026号 Jerzy Tiuryn 30 1980 DLS-树：进化场景模型。 Zbl 1097.68053号 波威·戈雷基；Jerzy Tiuryn 19 2006 λ可定义性的一个新特征。 兹伯利0795.03021 阿希姆·荣格；Jerzy Tiuryn 17 1993 动态逻辑。第2版。 Zbl 1003.03528号 大卫·哈雷；德克斯特·科赞；Jerzy Tiuryn 16 2002 半统一问题的不确定性。 Zbl 0769.68059号 A.J.Kfoury。；Tiuryn，J。；Urzyczyn，P。 14 1993 论命题霍尔逻辑的完备性。 Zbl 0996.03022号 德克斯特·科赞；Jerzy Tiuryn 12 2001 程序逻辑与复杂性理论之间的一些关系。 Zbl 0652.03028号 Jerzy Tiuryn；巴威·乌尔兹琴 11 1988 偏序集中不等式的可满足性。 Zbl 0863.68073号 沃恩·普拉特；Jerzy Tiuryn 10 1996 ML典型性分析。 Zbl 0806.68016号 A.J.Kfoury。；Tiuryn，J。；Urzyczyn，P。 10 1994 弗洛伊德原理、正确性理论和程序等价。 Zbl 0474.68017号 J.A.伯格斯特拉。；Tiuryn，J。；J.V.塔克。 9 1982 小型伞形科进化的离散模型。 Zbl 1114.92052号 Jerzy Tiuryn；Damian Wójtowicz；Ryszard Rudnicki 8 2007 ML的典型性是DEXPTIME完成。 Zbl 0760.68035号 A.J.Kfoury。；Tiuryn，J。；Urzyczyn，P。 7 1990 具有无限长表达式的定点和代数。二、\正则代数的（mu）-克隆。 兹伯利0436.68015 Jerzy Tiuryn 7 1979 类型推理问题：一项调查。 Zbl 0745.03013号 Jerzy Tiuryn 7 1990 论动态逻辑中不确定性的力量。 Zbl 0494.68032号 彼得·伯曼；约瑟夫·霍尔珀（Joseph Y.Halpern）。；Jerzy Tiuryn 7 1982 子结构逻辑和部分正确性。 Zbl 1365.68327号 德克斯特·科赞；Jerzy Tiuryn 7 2003 基因组中基因家族的大小分布。 Zbl 1291.60160号 Ryszard Rudnicki；Jerzy Tiuryn 7 2014 具有无限长表达式的定点和代数。I.正则代数。 Zbl 0401.68062号 Jerzy Tiuryn 6 1978 自由过程代数中的不动点。一、。 Zbl 0679.68046号 大卫·本森。；Jerzy Tiuryn 6 1989 对有效定义逻辑的调查。 Zbl 0468.68037号 Tiuryn，J。 5 1981 并行观测器识别：算法。 Zbl 1045.68525号 马里亚纽拉州Dezani-Ciancaglini；Jerzy Tiuryn；巴威·乌尔兹琴 5 1999 二阶类型的子类型问题是不可判定的。 Zbl 1049.68039号 Jerzy Tiuryn；巴威·乌尔兹琴 5 2002 程序逻辑之间的等价性。 Zbl 0552.68037号 阿尔伯特·R·迈耶。；Jerzy Tiuryn 5 1984 \（DDL<DL\）的简化证明。 Zbl 0667.03021号 Jerzy Tiuryn 5 1989 队列的进程代数语义。 Zbl 0636.68025号 伯格斯特拉（Jan Bergstra）；Jerzy Tiuryn 5 1987 无限的程序内存增加了一阶编程逻辑的表达能力。 Zbl 0599.68034号 Jerzy Tiuryn 4 1984 编程中的高阶数组和堆栈。复杂性理论在程序逻辑中的应用。 Zbl 0643.68012号 Jerzy Tiuryn 4 1986 广义统一问题的计算结果和部分解。 Zbl 0716.68013号 A.J.Kfoury。；Tiuryn，J。；Urzyczyn，P。 4 1989 基因组中paralog家族进化的模型。 Zbl 1113.92050 Ryszard Rudnicki；Jerzy Tiuryn；Damian Wójtowicz 三 2006 具有无限长表达式的定点和代数。一、。 Zbl 0397.68086号 Tiuryn，J。 三 1977 二阶（lambda）-演算有限秩片段的类型重建。 Zbl 0753.68022号 A.J.Kfoury。；Tiuryn，J。 三 1992 字母转换和类型。 兹比尔1004.03005 A.J.Kfoury。；Ronchi della Rocca，S。；Tiuryn，J。；Urzyczyn，P。 三 1999 多态类型双强制性的等式公理化。 Zbl 1354.68049号 Jerzy Tiuryn 三 1995 具有输入输出的非类型lambda-calculus。 Zbl 1508.68213号 Jerzy Tiuryn；米切尔·旺德 三 1996 关于对账结构。 Zbl 1117.92317号 波威·戈雷基；Jerzy Tiuryn 2 2005 具有无限长表达式的定点和代数。第二部分：正则代数的（mu）-克隆。 Zbl 0384.68005号 Jerzy Tiuryn 2 1978 具有无限长表达式的定点和代数。二、。 Zbl 0392.68013号 Tiuryn，J。 2 1977 关于正则代数和有理代数理论之间的联系。 Zbl 0465.68022号 Jerzy Tiuryn 2 1978 在复制、丢失和水平基因转移模型中推断进化场景。 Zbl 1354.92052号 波威·戈雷基；Jerzy Tiuryn 2 2012 PC紧性，是部分正确的健全完备逻辑存在的必要条件。 Zbl 0564.68025号 J.A.伯格斯特拉。；Tiuryn，J。 2 1984 有效定义的逻辑。 Zbl 0486.68017号 Jerzy Tiuryn 2 1981 迭代代数的正则扩张和度量解释。 Zbl 0496.68056号 伯格斯特拉（Jan Bergstra）；Jerzy Tiuryn 2 1981 关于程序逻辑之间等价性的注记。 Zbl 0502.68005号 阿尔伯特·R·迈耶。；Jerzy Tiuryn 2 1982 霍尔逻辑的另一个不完整性结果。 Zbl 0504.68018号 Jan A.Bergstra。；安娜·奇米林斯卡；Jerzy Tiuryn 2 1982 Cook辅助下推自动机定理的推广。 Zbl 0691.68042号 沃伊切赫·科瓦尔奇克；达米安·尼温斯基；Jerzy Tiuryn 2 1989 使用递归类型和原子子类型进行类型重建。 Zbl 1497.68127号 Jerzy Tiuryn；米切尔·旺德 2 1993 霍尔逻辑：从一阶到命题形式主义。 兹比尔1068.03023 Jerzy Tiuryn 1 2002 正确性理论和程序等价性。 Zbl 0418.68016号 J.A.伯格斯特拉。；Tiuryn，J。；J.V.塔克。 1 1979 关于有限自动机分解的一些结果。 Zbl 0419.68087号 Jerzy Tiuryn 1 1978 通过程序属性实现代数结构的隐式可定义性。 兹比尔0456.68025 伯格斯特拉（Jan Bergstra）；Jerzy Tiuryn 1 1979 关于有限类型和通用多态递归过程的表达能力。 Zbl 0755.68096号 A.J.Kfoury。；Tiuryn，J。；Urzyczyn，P。 1 1992 多态类型子类型的序列演算。 Zbl 1007.03011号 Jerzy Tiuryn 1 2001 基因组进化案例研究：从连续到离散时间模型。 Zbl 1097.92036号 Jerzy Tiuryn；Ryszard Rudnicki；Damian Wójtowicz 1 2004 有限二叉树的隐式可定义性。 Zbl 0561.68029号 Jerzy Tiuryn 1 1984 具有数据类型的简单编程语言：语义和验证。 Zbl 0564.68011号 Jerzy Tiuryn 1 1985 具有内部作用的过程代数中的不动点。 Zbl 0601.68024号 大卫·本森。；Jerzy Tiuryn 1 1986 关于迭代代数理论中的迭代域。 Zbl 0339.18005号 Tiuryn，J。 1 1976 迭代代数的正则扩张。 兹伯利0479.68036 J.伯格斯特拉。；Tiuryn，J。 1 1980 通过程序属性实现代数结构的隐式可定义性。 Zbl 0487.68017号 伯格斯特拉（Jan Bergstra）；Jerzy Tiuryn 1 1981 无穷树幂集代数中的不动点。 Zbl 0492.08004号 Jerzy Tiuryn 1 1981 有效定义逻辑的完备性定理。 Zbl 0508.03021号 Tiuryn，J。 1 1981 霍尔的逻辑是不完整的，而不是必须的。 Zbl 0541.68009号 J.伯格斯特拉。；A.Chmielinska。；Tiuryn，J。 1 1982 基因组中基因家族的大小分布。 Zbl 1291.60160号 Ryszard Rudnicki；Jerzy Tiuryn 7 2014 在复制、丢失和水平基因转移模型中推断进化场景。 Zbl 1354.92052号 波威·戈雷基；Jerzy Tiuryn 2 2012 小paralog家族进化的离散模型。 Zbl 1114.92052号 Jerzy Tiuryn；Damian Wójtowicz；Ryszard Rudnicki 8 2007 DLS-树：进化场景模型。 Zbl 1097.68053号 波威·戈雷基；Jerzy Tiuryn 19 2006 基因组中paralog家族进化的模型。 Zbl 1113.92050 Ryszard Rudnicki；Jerzy Tiuryn；Damian Wójtowicz 三 2006 关于对账结构。 兹比尔1117.92317 波威·戈雷基；Jerzy Tiuryn 2 2005 基因组进化案例研究：从连续到离散时间模型。 Zbl 1097.92036号 Jerzy Tiuryn；Ryszard Rudnicki；Damian Wójtowicz 1 2004 子结构逻辑和部分正确性。 Zbl 1365.68327号 德克斯特·科赞；Jerzy Tiuryn 7 2003 动态逻辑。第2版。 Zbl 1003.03528号 大卫·哈雷；德克斯特·科赞；Jerzy Tiuryn 16 2002 二阶类型的子类型问题是不可判定的。 Zbl 1049.68039号 Jerzy Tiuryn；巴威·乌尔兹琴 5 2002 霍尔逻辑：从一阶到命题形式主义。 Zbl 1068.03023号 Jerzy Tiuryn 1 2002 论命题霍尔逻辑的完备性。 Zbl 0996.03022号 德克斯特·科赞；Jerzy Tiuryn 12 2001 多态类型子类型的序列演算。 Zbl 1007.03011号 Jerzy Tiuryn 1 2001 动态逻辑。 Zbl 0976.68108号 大卫·哈雷；德克斯特·科赞；Jerzy Tiuryn 272 2000 平行观察者的辨别：算法。 Zbl 1045.68525号 马里亚纽拉州Dezani-Ciancaglini；Jerzy Tiuryn；巴威·乌尔兹琴 5 1999 字母转换和类型。 Zbl 1004.03005号 A.J.Kfoury。；Ronchi della Rocca，S。；Tiuryn，J。；Urzyczyn，P。 三 1999 偏序集中不等式的可满足性。 Zbl 0863.68073号 沃恩·普拉特；Jerzy Tiuryn 10 1996 具有输入输出的非类型lambda-calculus。 Zbl 1508.68213号 Jerzy Tiuryn；米切尔·旺德 三 1996 多态类型双强制性的等式公理化。 Zbl 1354.68049号 Jerzy Tiuryn 三 1995 ML典型性分析。 Zbl 0806.68016号 A.J.Kfoury。；Tiuryn，J。；Urzyczyn，P。 10 1994 λ可定义性的一个新特征。 Zbl 0795.03021号 阿希姆·荣格；Jerzy Tiuryn 17 1993 半统一问题的不确定性。 Zbl 0769.68059号 A.J.Kfoury。；Tiuryn，J。；Urzyczyn，P。 14 1993 使用递归类型和原子子类型进行类型重建。 Zbl 1497.68127号 Jerzy Tiuryn；米切尔·旺德 2 1993 二阶（lambda）-演算有限秩片段的类型重建。 兹比尔0753.68022 A.J.Kfoury。；Tiuryn，J。 三 1992 关于有限类型和通用多态递归过程的表达能力。 Zbl 0755.68096号 A.J.Kfoury。；Tiuryn，J。；Urzyczyn，P。 1 1992 程序逻辑。 Zbl 0900.68306号 德克斯特·科赞；Jerzy Tiuryn 38 1990 ML的典型性是DEXPTIME完成。 Zbl 0760.68035号 A.J.Kfoury。；Tiuryn，J。；Urzyczyn，P。 7 1990 类型推理问题：一项调查。 Zbl 0745.03013号 Jerzy Tiuryn 7 1990 自由过程代数中的不动点。一、。 Zbl 0679.68046号 大卫·本森。；Jerzy Tiuryn 6 1989 \（DDL<DL\）的简化证明。 Zbl 0667.03021号 Jerzy Tiuryn 5 1989 广义统一问题的计算结果和部分解。 Zbl 0716.68013号 A.J.Kfoury。；Tiuryn，J。；Urzyczyn，P。 4 1989 Cook辅助下推自动机定理的推广。 Zbl 0691.68042号 沃伊切赫·科瓦尔奇克；达米安·尼温斯基；Jerzy Tiuryn 2 1989 程序逻辑与复杂性理论之间的一些关系。 Zbl 0652.03028号 Jerzy Tiuryn；巴威·乌尔兹琴 11 1988 队列的进程代数语义。 Zbl 0636.68025号 伯格斯特拉（Jan Bergstra）；Jerzy Tiuryn 5 1987 编程中的高阶数组和堆栈。复杂性理论在程序逻辑中的应用。 Zbl 0643.68012号 Jerzy Tiuryn 4 1986 具有内部作用的过程代数中的不动点。 Zbl 0601.68024号 大卫·本森。；Jerzy Tiuryn 1 1986 具有数据类型的简单编程语言：语义和验证。 Zbl 0564.68011号 Jerzy Tiuryn 1 1985 程序逻辑之间的等价性。 Zbl 0552.68037号 阿尔伯特·R·迈耶。；Jerzy Tiuryn 5 1984 无限的程序内存增加了一阶编程逻辑的表达能力。 Zbl 0599.68034号 Jerzy Tiuryn 4 1984 PC紧性是部分正确的健全完整逻辑存在的必要条件。 Zbl 0564.68025号 J.A.伯格斯特拉。；Tiuryn，J。 2 1984 有限二叉树的隐式可定义性。 Zbl 0561.68029号 Jerzy Tiuryn 1 1984 弗洛伊德原理、正确性理论和程序等价性。 Zbl 0474.68017号 J.A.伯格斯特拉。；Tiuryn，J。；J.V.塔克。 9 1982 论动态逻辑中不确定性的力量。 Zbl 0494.68032号 彼得·伯曼；约瑟夫·霍尔珀（Joseph Y.Halpern）。；Jerzy Tiuryn 7 1982 关于程序逻辑之间等价性的注记。 Zbl 0502.68005号 阿尔伯特·R·迈耶。；Jerzy Tiuryn 2 1982 霍尔逻辑的另一个不完整性结果。 Zbl 0504.68018号 Jan A.Bergstra。；安娜·奇米林斯卡；Jerzy Tiuryn 2 1982 霍尔的逻辑是不完整的，而不是必须的。 Zbl 0541.68009号 J.伯格斯特拉。；A.Chmielinska。；Tiuryn，J。 1 1982 对有效定义逻辑的调查。 Zbl 0468.68037号 Tiuryn，J。 5 1981 有效定义的逻辑。 Zbl 0486.68017号 Jerzy Tiuryn 2 1981 迭代代数的正则扩张和度量解释。 Zbl 0496.68056号 伯格斯特拉（Jan Bergstra）；Jerzy Tiuryn 2 1981 通过程序属性实现代数结构的隐式可定义性。 Zbl 0487.68017号 伯格斯特拉（Jan Bergstra）；Jerzy Tiuryn 1 1981 无穷树幂集代数中的不动点。 Zbl 0492.08004号 Jerzy Tiuryn 1 1981 有效定义逻辑的完备性定理。 Zbl 0508.03021号 Tiuryn，J。 1 1981 独特的固定点与最少的固定点。 兹伯利0439.68026 Jerzy Tiuryn 30 1980 迭代代数的正则扩张。 Zbl 0479.68036号 J.伯格斯特拉。；Tiuryn，J。 1 1980 具有无限长表达式的定点和代数。二、\正则代数的（mu）-克隆。 Zbl 0436.68015号 Jerzy Tiuryn 7 1979 正确性理论和程序等价性。 Zbl 0418.68016号 J.A.伯格斯特拉。；Tiuryn，J。；J.V.塔克。 1 1979 通过程序属性实现代数结构的隐式可定义性。 Zbl 0456.68025号 伯格斯特拉（Jan Bergstra）；Jerzy Tiuryn 1 1979 具有无限长表达式的定点和代数。I.正则代数。 Zbl 0401.68062号 Jerzy Tiuryn 6 1978 具有无限长表达式的定点和代数。第二部分：正则代数的（mu）-克隆。 Zbl 0384.68005号 Jerzy Tiuryn 2 1978 关于正则代数和有理代数理论之间的联系。 Zbl 0465.68022号 Jerzy Tiuryn 2 1978 关于有限自动机分解的一些结果。 Zbl 0419.68087号 Jerzy Tiuryn 1 1978 具有无限长表达式的定点和代数。一、。 Zbl 0397.68086号 Tiuryn，J。 三 1977 具有无限长表达式的定点和代数。二、。 Zbl 0392.68013号 Tiuryn，J。 2 1977 关于迭代代数理论中的迭代域。 Zbl 0339.18005号 Tiuryn，J。 1 1976 所有引用出版物 前5名被引用出版物 全部的 前5名730位作者引用 15 斯特凡·米利厄斯 14 阿达梅克，吉安尼 14 Jerzy Tiuryn 11 吉·维勒比尔 10 Jan A.Bergstra。 10 德克斯特·C·科赞。 9 安德烈亚斯·赫齐格 9 埃米利亚诺·洛里尼 9 安德烈·普拉泽 9 汉斯·皮特·范·迪特马什 8 佐尔坦·埃西克 8 罗尔夫·亨尼克 8 Smets，Sonja J.L。 8 范德霍克，威比 8 费尔南多·雷蒙多（Fernando Raymundo） 8 迈克尔·J·伍尔德里奇。 7 贝内维特斯，马里奥·R·F·。 7 亚历山大·马德拉 7 约翰·V·塔克。 6 亚历山大·巴尔塔格 6 雷纳·哈内尔 6 约翰·朱尔斯·查尔斯 6 伊恩·斯图尔特（Iain A.Stewart）。 5 尼古拉·贝洛莫 5 丹尼尔·莱万特（Daniel M.Leivant）。 5 伯恩哈德·莫勒 5 阮林安 5 格哈德·谢尔霍恩 4 Broersen，Jan M。 4 朱塞佩·德贾科莫 4 马里亚纽拉州Dezani-Ciancaglini 4 里卡多·唐迪 4 纳迪亚·埃尔·马布鲁克 4 劳尔·费尔瓦里 4 藤田，健毅 4 波威·戈雷基 4 马克·赫尔穆特 4 马克·卡明斯基 4 阿萨夫·科福里。 4 马丁·兰格 4 布鲁诺·多梅尼西亚诺·洛佩斯 4 康斯坦蒂诺斯·马穆拉斯 4 马丁斯（Manuel António Martins） 4 克里斯蒂安·普里萨卡里奥 4 沃尔夫冈·雷夫 4 Ryszard Rudnicki 4 阿列克西·舒伯特 4 伊戈尔·塞德拉尔 4 格特·斯莫尔卡 4 巴威·乌尔兹琴 4 van Benthem，Johan F.A.K。 三 托马斯·奥戈特内斯 三 沃尔夫冈·阿伦特 三 巴博萨、路易斯·索亚雷斯 三 阿卜杜勒加尼·贝鲁奎德 三 大卫·本森。 三 Jort Martinus Bergfeld 三 悉达哈·巴斯卡 三 西蒙·波娃 三 劳拉·博泽利 三 理查德·布贝尔 三 佩德罗·卡巴拉尔 三 巴勃罗·卡斯特罗。 三 德利塔拉（Delitala）、马塞洛·埃多瓦多（Marcello Edoardo） 三 朱尔斯·德沙奈斯 三 马丁·迪格斯 三 罗伯特·加尼安 三 苏加塔·戈什 三 丹尼尔·格拉泽 三 爱德华·赫尔曼·海尔 三 诺里希罗·卡米德 三 Kohei的Kishida 三 亚历山大·纳普 三 卡斯滕·卢茨 三 托马斯·斯蒂芬·爱德华·迈鲍姆 三 拉杜·马达尔 三 法比奥·马萨奇 三 内尔玛·莫雷拉 三 弗朗西斯科·帕里西·普雷西奇 三 巴甫洛维奇，杜什科 三 戴维·佩雷拉（David P.Pereira）。 三 苏菲·平奇纳特 三 罗伊，奥利维尔 三 约书亚·萨克 三 托尔斯滕·绍布（Torsten H.Schaub）。 三 克劳斯·迪特·施韦 三 杰拉尔多·施奈德 三 安娜·舒曼 三 亚历山德拉·席尔瓦 三 彼得·斯塔德勒。 三 乔治·斯特鲁斯 三 隋、岳飞 三 斯扎·阿斯、安德烈吉 三 斯泽德，斯特凡 三 朱塞佩·托斯卡尼 三 津田，武士 三 马蒂亚斯·乌尔布里奇 三 Van den Bussche，简 三 莫西·亚亚科夫·瓦尔迪 三 王青 …还有630多名作者 全部的 前5名74篇连载文章中引用 74 理论计算机科学 32 信息与计算 15 逻辑、语言与信息杂志 15 程序设计中的逻辑和代数方法杂志 13 计算机与系统科学杂志 13 Studia Logica公司 12 合成 11 逻辑与代数程序设计杂志 11 计算机科学中的逻辑方法 10 纯逻辑与应用逻辑年鉴 10 应用逻辑杂志 9 应用科学中的数学模型与方法 9 数学与人工智能年鉴 8 数学生物学杂志 8 应用非经典逻辑杂志 7 哲学逻辑杂志 6 信息处理信件 6 自动推理杂志 6 MSCS公司。计算机科学中的数学结构 6 ACM计算逻辑事务 5 人工智能 5 符号逻辑杂志 4 信息学报 4 计算机程序设计科学 4 系统设计中的形式化方法 4 软计算 三 符号计算杂志 三 国际近似推理杂志 三 计算的形式方面 三 计算系统理论 2 计算机与数学及其应用 2 国际理论物理杂志 2 信息科学 2 纯粹与应用代数杂志 2 数学系统理论 2 编程和计算机软件 2 意大利信息研究所 2 西伯利亚数学杂志 2 国际计算机科学基础杂志 2 函数编程杂志 2 符号逻辑公报 2 逻辑程序设计理论与实践 2 理论生物学杂志 2 计算机科学前沿 1 离散应用数学 1 离散数学 1 数学生物科学 1 代数与逻辑 1 模糊集与系统 1 代数杂志 1 SIAM计算机杂志 1 匈牙利数学学报 1 订单 1 国际智能系统杂志 1 应用数学快报 1 数学和计算机建模 1 并行与分布式计算杂志 1 游戏与经济行为 1 国际计算机数学杂志 1 美国数学学会公报。新系列 1 维斯特尼克圣彼得堡大学。数学 1 计算复杂性 1 数学科学杂志（纽约） 1 范畴的理论与应用 1 工程中的数学问题 1 RAIRO公司。理论信息学及其应用 1 自然计算 1 计算机语言、系统和结构 1 离散算法杂志 1 不动点理论 1 符号逻辑述评 1 公理 1 计算机科学评论 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名29个字段中引用 384 计算机科学（68至XX） 314 数学逻辑和基础（03-XX） 35 生物学和其他自然科学（92-XX） 28 范畴理论；同调代数（18-XX） 21 博弈论、经济学、金融和其他社会和行为科学（91-XX） 16 组合数学（05-XX） 16 有序，格，有序代数结构（06-XX） 13 一般代数系统（08-XX） 8 量子理论（81-XX） 7 系统论；控制（93至XX） 6 概率论与随机过程（60-XX） 5 偏微分方程（35-XX） 5 信息与通信理论、电路（94-XX） 4 结合环与代数（16-XX） 4 算子理论（47-XX） 三 历史和传记（01-XX） 三 动力系统和遍历理论（37至XX） 三 一般拓扑结构（54至XX） 三 统计学（62-XX） 三 统计力学，物质结构（82-XX） 2 群论与推广（20-XX） 2 数值分析（65-XX） 1 总体主题；集合（00-XX） 1 非结合环和代数（17-XX） 1 特殊功能（33至XX） 1 几何图形（51至XX） 1 微分几何（53至XX） 1 整体分析，流形分析（58至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中。