编辑配置文件(在新选项卡中打开) 罗伯特·伊恩·戈德布拉特 合著者距离 作者ID: 戈德布拉特·罗伯特·伊恩 发布日期: 罗伯特·戈德布拉特;R.I.戈德布拉特。;戈德布拉特,R。;罗伯特·伊恩·戈德布拉特;罗伯特·戈德布拉特。 更多。。。较少的 主页: https://homepages.ecs.vuw.ac.nz/~抢劫/ 外部链接: MGP公司·ORCID公司·维基数据·数据库许可证·接地·ID参考 已编制索引的文档: 98出版物自1972年以来,包括9本书和3额外的arXiv预印本 4作为编辑的贡献 合著者: 20位合著者具有25联合出版物 482名合著者 全部的 前5名合著者 76 单作者的 10 伊恩·马丁·霍德金森 2 罗德尼·格雷厄姆·唐尼 2 埃德温·马雷斯(Edwin D.Mares)。 2 维尼马,伊德 1 盖林·阿基舍夫 1 哈伊纳尔·安德雷卡 1 卡洛斯·阿雷塞斯 1 约尔格·布伦德尔 1 拉纳德·A·克鲁斯顿。 1 玛丽·梅耶霍夫·克雷斯韦尔 1 克雷斯韦尔·麦克斯韦尔·约翰 1 大卫·弗里根斯 1 马特·格莱斯 1 马塞尔·杰克逊。 1 Kim,Byunghan先生 1 托马斯·科瓦尔斯基 1 伊斯坦·内梅蒂 1 安东尼奥·萨利布拉 1 克里斯特·塞格伯格 1 史蒂文·托马森。 全部的 前5名系列 12 Studia Logica公司 7 符号逻辑杂志 5 纯逻辑与应用逻辑年鉴 4 圣母院形式逻辑杂志 三 代数普遍性 三 哲学逻辑杂志 三 理论计算机科学 三 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 2 数理逻辑报告 2 逻辑与计算杂志 2 CSLI课堂讲稿 2 逻辑与数学基础研究 2 符号逻辑述评 1 澳大利亚数学学会公报 1 《伦敦数学学会通报》 1 逻辑与分析。新Série 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 拓扑程序 1 符号逻辑公报 1 IGPL逻辑杂志 1 通用计算机科学杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 1 澳大利亚逻辑杂志 1 数学研究生课程 1 计算机科学课堂讲稿 1 逻辑课堂笔记 1 范畴和一般代数结构及其应用 1 Universitext(通用文本) 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 全部的 前5名字段 90 数学逻辑和基础(03-XX) 16 计算机科学(68至XX) 15 阶、格、有序代数结构(06-XX) 14 范畴理论;同调代数(18-XX) 11 一般代数系统(08-XX) 10 一般拓扑结构(54至XX) 4 总体主题;集合(00-XX) 三 组合数学(05-XX) 2 历史和传记(01-XX) 2 几何图形(51至XX) 2 相对论和引力理论(83至XX) 1 实际功能(26年X月X日) 1 测量和集成(28-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 78出版物有被引用1180中的次910文件 引用人▼ 年份▼ 复代数的种类。 Zbl 0722.08005号 罗伯特·戈德布拉特 108 1989 时间和计算的逻辑。 Zbl 0635.03024号 罗伯特·戈德布拉特 103 1987 直系词的语义分析。 Zbl 0278.02023号 R.I.戈德布拉特。 95 1974 关于超现实的讲座。非标准分析简介。 Zbl 0911.03032号 罗伯特·戈德布拉特 94 1998 托波伊。逻辑的范畴分析。 Zbl 0434.03050号 罗伯特·戈德布拉特 92 1979 托波伊。逻辑的范畴分析。修订版。 Zbl 0528.03039号 罗伯特·戈德布拉特 67 1984 情态数学。 Zbl 0942.03516号 罗伯特·戈德布拉特 47 1993 公理化计算机编程的逻辑。 Zbl 0474.68045号 罗伯特·戈德布拉特 41 1982 模态逻辑的元数学。一、。 Zbl 0356.02016号 R.I.戈德布拉特。 41 1976 正交模块不是基本的。 Zbl 0593.03042号 罗伯特·戈德布拉特 26 1984 Minkowski时空中的Diodorean模态。 Zbl 0457.03019号 罗伯特·戈德布拉特 25 1980 数学模态逻辑:对其演变的一种看法。 Zbl 1041.03015号 罗伯特·戈德布拉特 23 2003 命题模态逻辑中的公理类。 Zbl 0325.02012 R.I.戈德布拉特。;S.K.托马森。 22 1975 量化相关逻辑的替代语义。 Zbl 1100.03011号 埃德温·马雷斯(Edwin D.Mares)。;罗伯特·戈德布拉特 21 2006 Grothendieck拓扑作为几何形态。 Zbl 0474.03018号 罗伯特·戈德布拉特。 20 1981 正晶格的石头空间。 Zbl 0301.06006号 R.I.戈德布拉特。 19 1975 并行操作:具有独立模式的并行动态逻辑。 Zbl 0784.03019号 罗伯特·戈德布拉特 17 1992 量词、命题和恒等式。量化模态和子结构逻辑的可容许语义。 Zbl 1270.03005号 罗伯特·戈德布拉特 16 2011 拜尔范畴定理和从属选择在逻辑基础中的作用。 Zbl 0567.03023号 罗伯特·戈德布拉特 15 1985 可测空间上余代数的演绎系统。 Zbl 1220.03054号 罗伯特·戈德布拉特 14 2010 模态逻辑的元数学。二、。 兹比尔0356.02017 R.I.戈德布拉特。 14 1977 带算子的布尔代数簇的初等生成和规范性。 Zbl 0854.06020号 戈德布拉特,R。 14 1995 正交性和时空几何。 Zbl 0622.51001号 罗伯特·戈德布拉特 12 1987 托波伊。逻辑的范畴分析。(Toposy.Kategornyj analiz logiki)。Transl.公司。来自英国。 Zbl 0542.03045号 罗伯特·戈德布拉特 11 1983 代数多模逻辑:综述。 Zbl 1012.03060号 罗伯特·戈德布拉特 11 2000 模态逻辑中的一阶可定义性。 Zbl 0311.02029号 R.I.戈德布拉特。 11 1975 麦肯锡的公理并不规范。 兹伯利0744.03019 罗伯特·戈德布拉特 10 1991 覆盖量化松散逻辑的语义。 Zbl 1247.03028号 罗伯特·戈德布拉特 10 2011 纠缠闭包算子和模态微积分的空间逻辑。 Zbl 1422.03034号 罗伯特·戈德布拉特;伊恩·霍德金森 10 2017 模态逻辑的元数学。 Zbl 0273.02016号 罗伯特·伊恩·戈德布拉特 9 1974 麦肯锡-莱蒙的逻辑几乎不规范。 Zbl 1168.03320号 罗伯特·戈德布拉特;伊恩·霍德金森 8 2007 具有算子的各种布尔代数的持久性和原子生成。 Zbl 0996.06008号 罗伯特·戈德布拉特 8 2001 Erdős图解决了Fine的规范性问题。 Zbl 1060.03038号 罗伯特·戈德布拉特;伊恩·霍德金森;维尼马,伊德 8 2004 最终合并和轩尼诗-米尔纳地产。 Zbl 1099.03019号 罗伯特·戈德布拉特 8 2006 Birkhoff多样性定理的余代数类比是什么? 兹比尔0989.68099 戈德布拉特,R。 7 2001 关于正则嵌入代数下的闭包。 Zbl 0757.08004号 罗伯特·戈德布拉特 6 1991 对基础扎实的代数研究。 Zbl 0611.03030号 罗伯特·戈德布拉特 6 1985 量化模态逻辑的一般语义。 兹比尔1150.03007 罗伯特·戈德布拉特;埃德温·马雷斯(Edwin D.Mares)。 6 2006 极性的正则扩张和超积。 Zbl 1522.03331号 罗伯特·戈德布拉特 5 2018 具有纠缠模态的逻辑的有限模型性质。 Zbl 1437.03087号 罗伯特·戈德布拉特;伊恩·霍德金森 5 2018 lambda演算中函数代数的有限等式公理化。 Zbl 0920.03025号 安东尼奥·萨利布拉;罗伯特·戈德布拉特 5 1999 多项式余代数的等式逻辑。 Zbl 1083.03056号 罗伯特·戈德布拉特 5 2003 量子数中非交换逻辑的Kripke-Joyal语义。 Zbl 1144.03039号 罗伯特·戈德布拉特 4 2006 命题量化相关逻辑的可接受语义。 Zbl 1191.03015号 罗伯特·戈德布拉特;迈克尔·凯恩 4 2010 一元有界代数。 Zbl 1208.03037号 盖林·阿基舍夫;罗伯特·戈德布拉特 4 2010 一些Rasiowa-Sikorski引理的拓扑证明。 Zbl 1259.06009号 罗伯特·戈德布拉特 4 2012 结构良好的程序等价性是不可判定的。 Zbl 1351.68073号 罗伯特·戈德布拉特;马塞尔·杰克逊 4 2012 不同域Kripke模型中量词的交换性。 Zbl 1167.03016号 罗伯特·戈德布拉特;伊恩·霍德金森 4 2009 命题常数的幂。 Zbl 1341.03029号 罗伯特·戈德布拉特;托马斯·科瓦尔斯基 三 2014 实线和零维空间的纠结导数逻辑。 Zbl 1400.03042号 罗伯特·戈德布拉特;伊恩·霍德金森 三 2016 函数lambda抽象代数形式多样。 Zbl 0940.03071号 罗伯特·戈德布拉特 三 1997 某些范畴余代数的对偶性。 Zbl 1061.18004号 罗伯特·戈德布拉特 三 2001 半拓扑空间的半紧性和对偶性。 Zbl 1439.03023号 罗伯特·戈德布拉特;马特·格莱斯 三 2016 最后多项式余代数的模态证明理论。 Zbl 1097.68091号 大卫·弗里根斯;罗伯特·戈德布拉特 三 2006 Heyting蕴涵对相关量化的保守性。 Zbl 1170.03010号 罗伯特·戈德布拉特 三 2009 J的一些扩张的可判定性。 Zbl 0306.02045号 R.I.戈德布拉特。 三 1974 余代数的余变种:Comonads和coequations。 Zbl 1169.68526号 拉纳德·克鲁斯顿;罗伯特·戈德布拉特 三 2005 直觉模型的公理类。 Zbl 1120.03008号 戈德布拉特,R。 2 2005 Lemmon和Scott完备性问题的解决方案。 Zbl 0258.02025号 R.I.戈德布拉特。 2 1975 霍尔迭代规则的语义。 兹伯利0597.03013 罗伯特·戈德布拉特 2 1982 一阶时空几何。 Zbl 0685.51008号 罗伯特·戈德布拉特 2 1989 关于未初步确定的规范模态逻辑。 Zbl 1060.03037号 罗伯特·戈德布拉特;伊恩·霍德金森;维尼马,伊德 2 2003 模态逻辑的进展。第7卷。第七届会议记录(AiML 2008),法国南希,2008年9月9日至12日。 Zbl 1200.03008号 2 2008 多项式函子余代数的项演算。 Zbl 1260.68239号 罗伯特·戈德布拉特 2 2001 函数一元有界代数。 Zbl 1208.03038号 罗伯特·戈德布拉特 2 2010 多项式余代数的观测超积。 Zbl 1037.03034号 罗伯特·戈德布拉特 2 2003 模态框架的映射和单子。 Zbl 1106.03057号 罗伯特·戈德布拉特 2 2006 相对量化:序列集代数的一些规范变体。 Zbl 0907.03029号 哈伊纳尔·安德雷卡;罗伯特·戈德布拉特;伊斯坦·内梅蒂 2 1998 lambda演算的泛函代数的扩充。 Zbl 0901.03016号 罗伯特·戈德布拉特 2 1998 带算子的极性和格的形态和对偶。 Zbl 1513.06034号 罗伯特·戈德布拉特 2 2020 可数亨金原理。 Zbl 1347.03063号 罗伯特·戈德布拉特 1 2014 包含S3的一些系统的模型理论研究。 Zbl 0255.02016号 R.I.戈德布拉特。 1 1973 典型结构的准模态等价。 Zbl 0990.03011号 罗伯特·戈德布拉特 1 2001 经典双线性逻辑的Grishin代数和覆盖系统。 Zbl 1258.03092号 罗伯特·戈德布拉特 1 2011 第十二届亚洲逻辑会议记录,新西兰惠灵顿,2011年12月15-20日。 Zbl 1318.03005号 1 2013 直觉主义模态逻辑的语义学。 Zbl 0226.02016 R.I.戈德布拉特。 1 1972 多项式余代数的扩张。 Zbl 1052.03013号 罗伯特·戈德布拉特 1 2003 限定及物框架周长的模态逻辑。 兹比尔07444315 罗伯特·戈德布拉特 1 2021 限定及物框架周长的模态逻辑。 Zbl 07442315号 罗伯特·戈德布拉特 1 2021 带算子的极性和格的形态和对偶。 Zbl 1513.06034号 罗伯特·戈德布拉特 2 2020 极性的正则扩张和超积。 Zbl 1522.03331号 罗伯特·戈德布拉特 5 2018 具有纠缠模态的逻辑的有限模型性质。 Zbl 1437.03087号 罗伯特·戈德布拉特;伊恩·霍德金森 5 2018 纠缠闭包算子和模态微积分的空间逻辑。 Zbl 1422.03034号 罗伯特·戈德布拉特;伊恩·霍德金森 10 2017 实线和零维空间的纠结导数逻辑。 Zbl 1400.03042号 罗伯特·戈德布拉特;伊恩·霍德金森 三 2016 半拓扑空间的半紧性和对偶性。 Zbl 1439.03023号 罗伯特·戈德布拉特;马特·格莱斯 三 2016 命题常数的幂。 兹比尔1341.03029 罗伯特·戈德布拉特;托马斯·科瓦尔斯基 三 2014 可数亨金原理。 Zbl 1347.03063号 罗伯特·戈德布拉特 1 2014 第十二届亚洲逻辑会议记录,新西兰惠灵顿,2011年12月15-20日。 Zbl 1318.03005号 1 2013 一些Rasiowa-Sikorski引理的拓扑证明。 Zbl 1259.06009号 罗伯特·戈德布拉特 4 2012 结构良好的程序等价性是高度不可判定的。 Zbl 1351.68073号 罗伯特·戈德布拉特;马塞尔·杰克逊 4 2012 量词、命题和恒等式。量化模态和子结构逻辑的可接受语义。 Zbl 1270.03005号 罗伯特·戈德布拉特 16 2011 覆盖量化松散逻辑的语义。 Zbl 1247.03028号 罗伯特·戈德布拉特 10 2011 经典双线性逻辑的Grishin代数和覆盖系统。 Zbl 1258.03092号 罗伯特·戈德布拉特 1 2011 可测空间上余代数的演绎系统。 Zbl 1220.03054号 罗伯特·戈德布拉特 14 2010 命题量化相关逻辑的可接受语义。 Zbl 1191.03015号 罗伯特·戈德布拉特;迈克尔·凯恩 4 2010 一元有界代数。 Zbl 1208.03037号 盖林·阿基舍夫;罗伯特·戈德布拉特 4 2010 函数一元有界代数。 Zbl 1208.03038号 罗伯特·戈德布拉特 2 2010 不同域Kripke模型中量词的交换性。 Zbl 1167.03016号 罗伯特·戈德布拉特;伊恩·霍德金森 4 2009 Heyting蕴涵对相关量化的保守性。 Zbl 1170.03010号 罗伯特·戈德布拉特 三 2009 模态逻辑的进展。第7卷。第七届会议记录(AiML 2008),法国南希,2008年9月9日至12日。 Zbl 1200.03008号 2 2008 麦肯锡-莱蒙的逻辑几乎不规范。 Zbl 1168.03320号 罗伯特·戈德布拉特;伊恩·霍德金森 8 2007 量化相关逻辑的替代语义。 Zbl 1100.03011号 埃德温·马雷斯(Edwin D.Mares)。;罗伯特·戈德布拉特 21 2006 最后的煤炭和轩尼诗-米尔纳的财产。 Zbl 1099.03019号 罗伯特·戈德布拉特 8 2006 量化模态逻辑的一般语义。 Zbl 1150.03007号 罗伯特·戈德布拉特;埃德温·马雷斯(Edwin D.Mares)。 6 2006 量子数中非交换逻辑的Kripke-Joyal语义。 Zbl 1144.03039号 罗伯特·戈德布拉特 4 2006 最后多项式余代数的模态证明理论。 兹比尔1097.68091 大卫·弗里根斯;罗伯特·戈德布拉特 三 2006 模态框架的映射和单子。 Zbl 1106.03057号 罗伯特·戈德布拉特 2 2006 余代数的余变种:Comonads和coequations。 Zbl 1169.68526号 拉纳德·克鲁斯顿;罗伯特·戈德布拉特 三 2005 直觉模型的公理类。 Zbl 1120.03008号 戈德布拉特,R。 2 2005 Erdős图解决了Fine的规范性问题。 Zbl 1060.03038号 罗伯特·戈德布拉特;伊恩·霍德金森;维尼马,伊德 8 2004 数学模态逻辑:对其演变的看法。 Zbl 1041.03015号 罗伯特·戈德布拉特 23 2003 多项式余代数的等式逻辑。 Zbl 1083.03056号 罗伯特·戈德布拉特 5 2003 关于未被初步确定的规范模态逻辑。 Zbl 1060.03037号 罗伯特·戈德布拉特;伊恩·霍德金森;维尼马,伊德 2 2003 多项式余代数的观测超积。 Zbl 1037.03034号 罗伯特·戈德布拉特 2 2003 多项式余代数的扩张。 Zbl 1052.03013号 罗伯特·戈德布拉特 1 2003 具有算子的各种布尔代数的持久性和原子生成。 Zbl 0996.06008号 罗伯特·戈德布拉特 8 2001 Birkhoff多样性定理的余代数类比是什么? Zbl 0989.68099号 戈德布拉特,R。 7 2001 一些范畴余代数的对偶性。 Zbl 1061.18004号 罗伯特·戈德布拉特 三 2001 多项式函子余代数的项演算。 Zbl 1260.68239号 罗伯特·戈德布拉特 2 2001 典型结构的准模态等价。 兹比尔0990.03011 罗伯特·戈德布拉特 1 2001 代数多模逻辑:综述。 Zbl 1012.03060号 罗伯特·戈德布拉特 11 2000 lambda演算中函数代数的有限等式公理化。 Zbl 0920.03025号 安东尼奥·萨利布拉;罗伯特·戈德布拉特 5 1999 关于超现实的讲座。非标准分析导论。 Zbl 0911.03032号 罗伯特·戈德布拉特 94 1998 相对量化:序列集代数的一些典型变种。 Zbl 0907.03029号 哈伊纳尔·安德雷卡;罗伯特·戈德布拉特;伊斯坦·内梅蒂 2 1998 lambda演算的泛函代数的扩充。 Zbl 0901.03016号 罗伯特·戈德布拉特 2 1998 函数lambda抽象代数形式多样。 Zbl 0940.03071号 罗伯特·戈德布拉特 三 1997 带算子的布尔代数簇的初等生成和规范性。 Zbl 0854.06020号 戈德布拉特,R。 14 1995 情态数学。 Zbl 0942.03516号 罗伯特·戈德布拉特 47 1993 并行操作:具有独立模式的并行动态逻辑。 Zbl 0784.03019号 罗伯特·戈德布拉特 17 1992 麦肯锡公理不是规范的。 Zbl 0744.03019号 罗伯特·戈德布拉特 10 1991 关于正则嵌入代数下的闭包。 Zbl 0757.08004号 罗伯特·戈德布拉特 6 1991 复代数的种类。 Zbl 0722.08005号 罗伯特·戈德布拉特 108 1989 一阶时空几何。 Zbl 0685.51008号 罗伯特·戈德布拉特 2 1989 时间和计算的逻辑。 Zbl 0635.03024号 罗伯特·戈德布拉特 103 1987 正交性和时空几何。 Zbl 0622.51001号 罗伯特·戈德布拉特 12 1987 拜尔范畴定理和从属选择在逻辑基础中的作用。 Zbl 0567.03023号 罗伯特·戈德布拉特 15 1985 对基础扎实的代数研究。 Zbl 0611.03030号 罗伯特·戈德布拉特 6 1985 托波伊。逻辑的范畴分析。修订版。 Zbl 0528.03039号 罗伯特·戈德布拉特 67 1984 正交模块不是基本的。 兹比尔0593.03042 罗伯特·戈德布拉特 26 1984 托波伊。逻辑的范畴分析。(Toposy.Kategornyj analiz logiki)。Transl.公司。来自英国。 Zbl 0542.03045号 罗伯特·戈德布拉特 11 1983 公理化计算机编程的逻辑。 Zbl 0474.68045号 罗伯特·戈德布拉特 41 1982 霍尔迭代规则的语义。 Zbl 0597.03013号 罗伯特·戈德布拉特 2 1982 Grothendieck拓扑作为几何形态。 兹伯利0474.03018 罗伯特·戈德布拉特。 20 1981 Minkowski时空中的Diodorean模态。 Zbl 0457.03019号 罗伯特·戈德布拉特 25 1980 托波伊。逻辑的范畴分析。 Zbl 0434.03050号 罗伯特·戈德布拉特 92 1979 模态逻辑的元数学。二、。 Zbl 0356.02017号 R.I.戈德布拉特。 14 1977 模态逻辑的元数学。一、。 Zbl 0356.02016号 R.I.戈德布拉特。 41 1976 命题模态逻辑中的公理类。 Zbl 0325.02012 R.I.戈德布拉特。;托马森,S.K。 22 1975 正晶格的石头空间。 Zbl 0301.06006号 R.I.戈德布拉特。 19 1975 模态逻辑中的一阶可定义性。 Zbl 0311.02029号 R.I.戈德布拉特。 11 1975 Lemmon和Scott完备性问题的解决方案。 Zbl 0258.02025号 R.I.戈德布拉特。 2 1975 直系词的语义分析。 Zbl 0278.02023号 R.I.戈德布拉特。 95 1974 模态逻辑的元数学。 Zbl 0273.02016号 罗伯特·伊恩·戈德布拉特 9 1974 J的一些扩张的可判定性。 Zbl 0306.02045号 R.I.戈德布拉特。 三 1974 包含S3的一些系统的模型理论研究。 Zbl 0255.02016号 R.I.戈德布拉特。 1 1973 直觉主义模态逻辑的语义学。 Zbl 0226.02016 R.I.戈德布拉特。 1 1972 所有引用出版物 前5名被引用出版物 全部的 前5名876位作者引用 36 罗伯特·伊恩·戈德布拉特 18 贝扎尼什维利,古拉姆 17 梅·盖尔克 17 伊恩·马丁·霍德金森 13 维尼马,伊德 12 迪米特·瓦卡雷洛夫 11 塞拉尼、塞尔吉奥·阿图罗 11 弗兰克·沃尔特 10 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 10 格奥尔格·斯特鲁思 9 菲利普·巴尔比亚尼 9 尼克·贝扎尼什维利 9 米哈伊尔·卡茨(Mikhail G.Katz)。 9 Hirokazu西村 9 汉斯·皮特·范·迪特马什 8 哈伊纳尔·安德雷卡 8 乌尔里希·赫勒 8 van Benthem,Johan F.A.K。 8 扎哈里亚舍夫,迈克尔·维克托罗维奇 7 伊曼纽尔·博塔齐 7 赫里萨菲斯·哈托纳斯 7 塔德乌兹·利塔克 7 伊斯坦·内梅蒂 7 普罗沃塔,A.I。 6 Dalla Chiara、Maria Luisa 6 大卫·费尔南德斯·杜克 6 罗宾·赫希 6 克莱门斯·库普克 6 埃德温·马雷斯(Edwin D.Mares)。 6 姆拉丹·帕维奇奇 6 艾哈迈德、塔雷克说 6 钟,沈阳 5 吉列尔莫·巴迪亚 5 贝内维特斯,马里奥·R·F·。 5 卢卡·卡莱 5 毛罗·迪·纳索 5 安德烈亚斯·多林 5 赫克托·弗雷特斯 5 罗伯托·吉安蒂尼 5 海达尔·戈拉尔 5 瓦伦丁·F·戈兰科。 5 安德热伊·因德泽扎克 5 川原康夫 5 阿黛尔·哈法拉 5 哈拉尔德·科尼格 5 科斯塔斯·库特拉斯。 5 安东尼奥·莱达 5 拉杜·马达尔 5 亚历山德拉·帕尔米吉亚诺 5 安东尼奥·萨利布拉 5 谢凯利(Székely,Gergely) 5 安德鲁·特德 5 十个Cate,Balder David 5 廷切夫、廷科 5 亚历山大·亚申。 4 娜塔莎·亚历奇纳 4 洛伦佐·卢佩里·巴格里尼 4 亚历山大·巴尔塔格 4 维埃里·本奇 4 比姆博,卡塔林 4 Gianpiero Cattaneo 4 Ernst-Erich Doberkat 4 米克洛斯·费伦齐 4 Hitoshi Furusawa 4 西尔维奥·吉拉尔迪 4 爱德华·赫尔曼·海尔 4 约翰·哈丁 4 劳埃德·亨伯斯通 4 克里斯·伊沙姆(Chris J.Isham)。 4 巴特尔·皮特·库伊 4 亚历山大·库兹 4 金·古德斯特兰·拉森 4 Judit X·马达拉斯。 4 帕特里克·J·莫兰迪。 4 或者艾瓦·奥斯卡。 4 弗朗西斯科·保利 4 希拉里·普里斯特利(Hilary A.Priestley)。 4 Smets,Sonja J.L。 4 溅出物,Bas 4 范德霍克,威比 三 马塞洛·玛丽亚·邦桑格 三 约瑟夫·布杜 三 萨沃米尔·布加伊斯基 三 威廉·康雷迪 三 C.布莱恩·道森 三 吉姆·德·格罗特 三 Stéphane P.德姆里。 三 格雷西拉·多梅内克 三 伊沃·杜恩施 三 乔恩·迈克尔·邓恩 三 范洁 三 尼古拉斯·费伦茨 三 韦斯利·福斯纳 三 大卫·加伯里亚 三 鲁斯塔姆·加利姆林 三 苏加塔·戈什 三 约瑟夫·阿马迪·戈根 三 枝野幸男Gunji 三 米罗斯拉夫·哈维亚尔 三 克里斯·希恩 …还有776位作者 全部的 前5名146篇连载文章中引用 74 Studia Logica公司 46 哲学逻辑杂志 42 纯逻辑与应用逻辑年鉴 41 理论计算机科学 36 符号逻辑杂志 31 国际理论物理杂志 29 合成 29 应用非经典逻辑杂志 26 模糊集与系统 22 符号逻辑述评 21 代数普遍性 18 圣母院形式逻辑杂志 16 数学逻辑季刊(MLQ) 14 程序设计中的逻辑和代数方法杂志 13 逻辑、语言与信息杂志 12 符号逻辑公报 11 控制论与系统分析 9 人工智能 9 数学物理杂志 9 信息与计算 8 应用逻辑杂志 8 泛逻辑 8 计算机科学中的逻辑方法 7 信息处理信件 7 代数与逻辑 7 纯粹与应用代数杂志 7 MSCS公司。计算机科学中的数学结构 7 数学与人工智能年鉴 6 美国数学学会会刊 6 ACM计算逻辑事务 5 美国数学学会会刊 5 符号计算杂志 5 应用的分类结构 5 科学基础 5 物理学基础 4 数学笔记 4 数学进展 4 订单 4 国际近似推理杂志 4 计算的形式方面 4 Indagationes Mathematicae公司。新系列 4 数学科学杂志(纽约) 4 图表 4 逻辑与逻辑哲学 三 离散数学 三 代数杂志 三 斯洛伐克数学家 三 拓扑及其应用 三 自动化和远程控制 三 数学逻辑档案 三 软计算 三 逻辑与代数程序设计杂志 2 信息学报 2 代数通讯 2 计算机与数学及其应用 2 数学物理中的通信 2 数学分析与应用杂志 2 捷克斯洛伐克数学杂志 2 信息科学 2 国际电路理论与应用杂志 2 经济理论杂志 2 数学经济学杂志 2 物理D 2 图卢兹科学学院年鉴。数学题。塞里六世 2 埃尔肯特尼斯 2 代数及其应用杂志 2 物理学报A:数学与理论 2 逻辑与分析杂志 2 科学史与哲学研究。第二部分近代物理史与哲学研究 2 \(p\)-Adic数、超微分析和应用 2 公理派 2 Logicheskie Issledovaniya公司 2 离散分析 2 西伯利亚联邦大学学报。数学和物理 1 美国数学月刊 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 国际通用系统杂志 1 以色列数学杂志 1 莫斯科大学数学通报 1 信息传输问题 1 数学物理报告 1 洛基山数学杂志 1 混沌、孤子和分形 1 汉堡大学Abhandlungen aus dem Mathematischen研讨会 1 加拿大数学通报 1 数学合成 1 Dedicata几何 1 数学出版物 1 国际数学与数学科学杂志 1 计算机与系统科学杂志 1 微分方程杂志 1 数学期刊 1 Monatsheft für Mathematik 1 伦敦数学学会会刊。第三系列 1 《数学研究所出版物》。新Série 1 Quaestions数学 1 实际分析交换 1 理论与决策 1 逻辑科公报 1 数学社会科学 …还有46部连续剧 全部的 前5名46个领域引用 697 数学逻辑和基础(03-XX) 211 计算机科学(68至XX) 141 阶、格、有序代数结构(06-XX) 113 范畴理论;同调代数(18-XX) 70 量子理论(81-XX) 55 一般拓扑结构(54至XX) 31 实际功能(26年X月X日) 26 一般代数系统(08-XX) 26 博弈论、经济学、金融和其他社会和行为科学(91-XX) 19 总体主题;集合(00-XX) 19 功能分析(46倍X倍) 19 相对论和引力理论(83至XX) 17 组合数学(05-XX) 16 数论(11-XX) 15 历史和传记(01-XX) 15 群论与推广(20-XX) 10 代数几何(14-XX) 10 概率论与随机过程(60-XX) 9 场论和多项式(12-XX) 7 交换代数(13-XX) 7 结合环与代数(16-XX) 7 算子理论(47-XX) 7 几何图形(51至XX) 6 系统论;控制(93至XX) 5 测量和集成(28-XX) 5 微分几何(53至XX) 4 生物学和其他自然科学(92-XX) 三 线性代数和多线性代数;矩阵理论(15-XX) 三 几个复变量和分析空间(32-XX) 三 动力系统和遍历理论(37至XX) 三 代数拓扑(55-XX) 三 信息与通信理论、电路(94-XX) 2 拓扑群、李群(22日至XX日) 2 偏微分方程(35-XX) 2 流形和细胞复合体(57至XX) 2 整体分析,流形分析(58至XX) 2 数值分析(65-XX) 2 粒子和系统力学(70-XX) 2 统计力学,物质结构(82-XX) 2 运筹学、数学编程(90-XX) 1 复变量的函数(30-XX) 1 常微分方程(34-XX) 1 差分方程和函数方程(39至XX) 1 欧氏空间的调和分析(42至XX) 1 统计学(62-XX) 1 数学教育(97-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.