编辑配置文件(在新选项卡中打开) 吉安·伊夫·吉拉德 合著者距离 作者ID: girard.jean-ives女孩 发布日期: 吉安·伊夫·吉拉德;吉拉德,J.Y。;吉拉德,J.-Y。;吉恩·伊夫·吉拉德 更多。。。较少的 外部链接: MGP公司·维基数据·接地·ID参考·论文.fr 编入索引的文档: 71出版物自1971年以来,包括5本书和1个附加arXiv预打印 6作为编辑的贡献·1进一步贡献 传记参考: 2出版物 合著者: 16位合著者具有21联合出版物 263位合作作者 全部的 前5名合著者 56 单作者的 6 安德烈·斯克洛夫 4 菲利普·斯科特。 三 伊夫·拉丰特 三 冈田三弘 三 杰奎琳·沃泽尔 2 维托·米歇尔·阿布鲁西 2 达格·诺曼 2 雅克·范德维勒 1 克洛德·威廉姆斯·巴多斯 1 尼古拉·博罗 1 埃里克·沙彭蒂埃 1 大卫,盖伊 1 托马斯·埃尔哈德 1 Jean-Marc Fontaine女士 1 吉尔斯·戈德弗里 1 劳伦特·哈比格 1 马克·欣德里 1 马克斯·卡鲁比 1 阿兰·卢沃 1 弗朗索瓦·莫兰 1 Nikol'ski,Nikola Kapitonovich 1 彼得·帕平豪斯 1 米歇尔·雷诺德 1 劳伦特·雷格尼尔 1 Jean-Pierre,雷斯亚尔 1 保罗·吕特 1 盖拉尔·特内鲍姆 1 伊奥恩·穆尼 1 米歇尔·沃尔德施米特 全部的 前5名系列 8 理论计算机科学 5 符号逻辑杂志 4 MSCS公司。计算机科学中的数学结构 三 纯逻辑与应用逻辑年鉴 2 伦敦数学学会讲座笔记系列 1 物流与物流建筑 1 数理逻辑年鉴 1 数学论文 1 合成 1 信息与计算 1 现代逻辑 1 逻辑与计算杂志 1 符号逻辑公报 1 剑桥理论计算机科学丛书 1 计算机科学课堂讲稿 1 证明理论研究。专题论文 1 理论计算机科学电子笔记 1 Le Sel et Le Fer公司 全部的 前5名领域 73 数学逻辑和基础(03-XX) 25 计算机科学(68至XX) 9 总体主题;集合(00-XX) 6 范畴理论;同调代数(18-XX) 6 功能分析(46倍X倍) 4 历史和传记(01-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 量子理论(81-XX) 1 实际功能(26年X月X日) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 63出版物有被引用2700次中的次1817文件 引用人▼ 年份▼ 线性逻辑。 Zbl 0625.03037号 吉安·伊夫·吉拉德 964 1987 证据和类型。 Zbl 0671.68002号 吉安·伊夫·吉拉德;保罗·泰勒;伊夫·拉丰特 354 1989 证明理论和逻辑复杂性。第一卷。 Zbl 0635.03052号 吉安·伊夫·吉拉德 148 1987 十五年后,变量类型的系统({\mathcal F})。 Zbl 0623.03013号 吉安·伊夫·吉拉德 122 1986 Gödelál’analyse的interprétation,et son application a l’elimination des coupures dans l'analyse et la théorie des types的扩展。(哥德尔的解释扩展到分析,并应用于分析和类型理论中的删减)。 Zbl 0221.02013 吉安·伊夫·吉拉德 83 1971 轻型线性逻辑。 Zbl 0912.03025号 吉安·伊夫·吉拉德 82 1998 \(\Pi_2^1)-逻辑。一: 扩张器。 Zbl 0496.03037号 吉安·伊夫·吉拉德 73 1981 线性逻辑:它的语法和语义。 Zbl 0828.03003号 吉安·伊夫·吉拉德 73 1995 轨迹解:从逻辑规则到规则逻辑。 Zbl 1051.03045号 吉安·伊夫·吉拉德 72 2001 一种新的构造逻辑:经典逻辑。 Zbl 0752.03027号 吉安·伊夫·吉拉德 70 1991 线性逻辑和惰性计算。 兹伯利0647.03016 吉拉德,J.Y。;Lafont,Y。 69 1987 交互几何。一: 系统F的解释。 兹伯利0686.03030 吉安·伊夫·吉拉德 57 1989 有界线性逻辑:多项式时间可计算性的模块化方法。 Zbl 0788.03005号 吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。 56 1992 论逻辑的统一性。 Zbl 0781.03044号 吉安·伊夫·吉拉德 45 1993 正规函子、幂级数和(lambda)-演算。 Zbl 0646.03056号 吉安·伊夫·吉拉德 45 1988 校对网:校对理论的并行语法。 Zbl 0868.03025号 吉安·伊夫·吉拉德 41 1996 朝向相互作用的几何体。 Zbl 0672.03039号 吉安·伊夫·吉拉德 35 1989 交互几何。三: 容纳添加剂。 Zbl 0828.03027号 吉安·伊夫·吉拉德 26 1995 交互几何。二: 无死锁算法。 Zbl 0716.03047号 吉安·伊夫·吉拉德 21 1990 三值逻辑与删减:武提猜想的实际意义。 Zbl 0357.02027号 吉拉德,J.Y。 18 1976 交互几何。五: 超有限因子中的逻辑。 Zbl 1230.03093号 吉安·伊夫·吉拉德 17 2011 在逻辑和数量之间:一个区域。 Zbl 1073.03036号 吉安·伊夫·吉拉德 16 2004 范式和无裁剪证明是自然变换。 Zbl 0753.03024号 吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。 16 1992 盲点。逻辑讲座。 Zbl 1238.03045号 吉安·伊夫·吉拉德 15 2011 关于逻辑规则的含义。一: 语法与语义。 Zbl 0962.03055号 吉安·伊夫·吉拉德 13 1999 连贯的巴拿赫空间:一种连续的指称语义。 Zbl 0952.03025号 吉安·伊夫·吉拉德 12 1999 乘法运算。 Zbl 0667.03046号 吉安·伊夫·吉拉德 10 1987 函数和序数符号。一: Veblen层次的函数结构。 Zbl 0568.03027号 吉安·伊夫·吉拉德;杰奎琳·沃泽尔 10 1984 逻辑导论。 Zbl 1069.03503号 吉安·伊夫·吉拉德 9 1985 交互几何。四: 反馈方程。 Zbl 1105.03064号 吉安·伊夫·吉拉德 9 2006 盲点。逻辑课程。一、关于完美。(Le point aveugle.Cours de logique.I.完美版。) Zbl 1243.00003号 吉安·伊夫·吉拉德 9 2006 设置递归和\(\Pi^1_2\)-逻辑。 Zbl 0575.03034号 吉安·伊夫·吉拉德;达格·诺曼 9 1985 逻辑的规范性。 Zbl 1314.03051号 吉安·伊夫·吉拉德 8 2012 关于逻辑规则的含义。二: 乘数和添加剂。 Zbl 1031.03075号 吉安·伊夫·吉拉德 7 2000 线性逻辑的进展。基于1993年6月14日至18日在美国纽约州伊萨卡市康奈尔大学数学科学研究所举行的线性逻辑研讨会。 Zbl 0816.00018号 7 1995 关于指称完备性。 Zbl 0959.03050号 吉安·伊夫·吉拉德 6 1999 盲点。逻辑课程。二、。关于缺陷。(Le point aveugle.Cours de logique.II.Vers l’imperfection.) Zbl 1243.00004号 吉安·伊夫·吉拉德 5 2007 有界线性逻辑:多项式时间可计算性的模块化方法。扩展摘要。 Zbl 0773.03007号 吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。 5 1990 逻辑元素\(\Pi^1_n\)。 兹比尔0573.03029 吉安·伊夫·吉拉德;让·皮埃尔·雷赛尔 5 1985 函数和序数符号。二: 巴赫曼等级的函数结构。 Zbl 0568.03028号 吉安·伊夫·吉拉德;杰奎琳·沃泽尔 5 1984 从基础到滑稽。 Zbl 1056.03035号 吉安·伊夫·吉拉德 4 2003 线性逻辑和并行。 Zbl 0629.03036号 吉安·伊夫·吉拉德 4 1987 组合问题中扩张器的一些应用。一、。 兹伯利0634.03057 V.M.Abrusci。;吉拉德,J.Y。;范德维勒,J。 4 1987 (Pi_2^1)逻辑综述。 Zbl 0496.03038号 吉拉德,J.-Y。 4 1982 通过网格计算对多维美式期权进行蒙特卡罗估值。 Zbl 1142.65305号 伊奥恩·穆尼;吉安·伊夫·吉拉德 三 2006 ptykes的可嵌入性。 Zbl 0777.03015号 吉安·伊夫·吉拉德;达格·诺曼 三 1992 La mouche dans La bouteille酒店。(瓶子里的苍蝇)。 Zbl 0623.01012号 吉拉德,J.Y。 三 1987 赫布兰德定理和证明理论。 Zbl 0496.03036号 吉安·伊夫·吉拉德 三 1982 功能性和类囊体。 Zbl 0441.03012号 吉拉德,J.Y。 三 1977 无法访问的总理简历和Mahlo et la theéorie des scalteurs。 Zbl 0556.03043号 吉拉德,J.Y。;沃泽利斯,J。 三 1984 真理、情态和主体间性。 Zbl 1146.03003号 吉安·伊夫·吉拉德 2 2007 Quelques résultats surles解释功能。 Zbl 0287.02017号 吉拉德,J.Y。 2 1973 轨迹解:从逻辑规则到规则逻辑。 兹比尔0999.68545 吉安·伊夫·吉拉德 2 2001 归纳定义的实证研究。一、。 Zbl 0494.03037号 吉安·伊夫·吉拉德 2 1982 三道逻辑之光(邀请演讲)。 Zbl 1356.03015号 吉安·伊夫·吉拉德 2 2013 超越语法。一: 决定性案例。 Zbl 1423.03248号 吉安·伊夫·吉拉德 2 2017 键入lambda计算和应用程序。第四届国际会议,TLCA’99。意大利拉奎拉,1999年4月7日至9日。诉讼程序。 兹比尔0911.00022 1 1999 从为什么到如何:1950年至今的证明理论。(杜波奎(Du pourquoi au comment:la the oree de la démonstration de 1950?nos jours.) Zbl 0966.03001号 吉安·伊夫·吉拉德 1 2000 关于(Sigma_1-\)语句含义的一个结果及其在范式定理中的应用。 Zbl 0469.03039号 吉安·伊夫·吉拉德;彼得·帕平豪斯 1 1981 逻辑和例外:几点评论。 Zbl 0760.03017号 吉安·伊夫·吉拉德 1 1992 瓶子里的苍蝇(纪念让·范·海耶诺特)。 Zbl 0757.01022号 吉安·伊夫·吉拉德 1 1992 二阶λ-微积分。(二阶兰姆达-卡尔库勒) Zbl 0645.03013号 吉安·伊夫·吉拉德 1 1987 计算机科学中的线性逻辑。基于2000年8月30日至9月7日在葡萄牙亚速尔群岛圣米格尔举办的亚速尔岛线性逻辑和计算机科学暑期学校。 Zbl 1051.03003号 1 2004 先验语法。一: 决定性案例。 Zbl 1423.03248号 吉安·伊夫·吉拉德 2 2017 三道逻辑之光(邀请演讲)。 Zbl 1356.03015号 吉安·伊夫·吉拉德 2 2013 逻辑的规范性。 Zbl 1314.03051号 吉安·伊夫·吉拉德 8 2012 交互几何。五: 超有限因子中的逻辑。 Zbl 1230.03093号 吉安·伊夫·吉拉德 17 2011 盲点。逻辑讲座。 Zbl 1238.03045号 吉安·伊夫·吉拉德 15 2011 盲点。逻辑课程。二、。关于缺陷。(这一点。逻辑课程。二。与不完美的对比。) Zbl 1243.00004号 吉安·伊夫·吉拉德 5 2007 真理、情态和主体间性。 Zbl 1146.03003号 吉安·伊夫·吉拉德 2 2007 交互几何。IV: 反馈方程。 Zbl 1105.03064号 吉安·伊夫·吉拉德 9 2006 盲点。逻辑课程。一、关于完美。(Le point aveugle.Cours de logique.I.完美版。) Zbl 1243.00003号 吉安·伊夫·吉拉德 9 2006 通过网格计算对多维美式期权进行蒙特卡罗估值。 Zbl 1142.65305号 伊奥恩·穆尼;吉安·伊夫·吉拉德 三 2006 在逻辑和数量之间:一个区域。 Zbl 1073.03036号 吉安·伊夫·吉拉德 16 2004 计算机科学中的线性逻辑。基于2000年8月30日至9月7日在葡萄牙亚速尔群岛圣米格尔举办的亚速尔岛线性逻辑和计算机科学暑期学校。 Zbl 1051.03003号 1 2004 从基金会到流浪汉。 Zbl 1056.03035号 吉安·伊夫·吉拉德 4 2003 轨迹解:从逻辑规则到规则逻辑。 Zbl 1051.03045号 吉安·伊夫·吉拉德 72 2001 轨迹解:从逻辑规则到规则逻辑。 Zbl 0999.68545号 吉安·伊夫·吉拉德 2 2001 关于逻辑规则的含义。二: 乘数和添加剂。 Zbl 1031.03075号 吉安·伊夫·吉拉德 7 2000 从为什么到如何:1950年至今的证明理论。(杜波奎(Du pourquoi au comment:la the oree de la démonstration de 1950?nos jours.) Zbl 0966.03001号 吉安·伊夫·吉拉德 1 2000 关于逻辑规则的含义。一: 语法与语义。 兹比尔0962.03055 吉安·伊夫·吉拉德 13 1999 连贯的巴拿赫空间:一种连续的指称语义。 Zbl 0952.03025号 吉安·伊夫·吉拉德 12 1999 关于指称完备性。 Zbl 0959.03050号 吉安·伊夫·吉拉德 6 1999 键入lambda计算和应用程序。第四届国际会议,TLCA'99。意大利拉奎拉,1999年4月7日至9日。诉讼程序。 Zbl 0911.00022号 1 1999 轻型线性逻辑。 Zbl 0912.03025号 吉安·伊夫·吉拉德 82 1998 校对网:校对理论的并行语法。 Zbl 0868.03025号 吉安·伊夫·吉拉德 41 1996 线性逻辑:它的语法和语义。 Zbl 0828.03003号 吉安·伊夫·吉拉德 73 1995 交互几何。三: 容纳添加剂。 Zbl 0828.03027号 吉安·伊夫·吉拉德 26 1995 线性逻辑的进展。基于1993年6月14日至18日在美国纽约州伊萨卡市康奈尔大学数学科学研究所举行的线性逻辑研讨会。 Zbl 0816.00018号 7 1995 论逻辑的统一性。 Zbl 0781.03044号 吉安·伊夫·吉拉德 45 1993 有界线性逻辑:多项式时间可计算性的模块化方法。 Zbl 0788.03005号 吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。 56 1992 范式和无裁剪证明是自然变换。 Zbl 0753.03024号 吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。 16 1992 ptykes的可嵌入性。 Zbl 0777.03015号 吉安·伊夫·吉拉德;达格·诺曼 三 1992 逻辑和例外:几点评论。 Zbl 0760.03017号 吉安·伊夫·吉拉德 1 1992 瓶子里的苍蝇(纪念让·范·海耶诺特)。 Zbl 0757.01022号 吉安·伊夫·吉拉德 1 1992 一种新的构造逻辑:经典逻辑。 Zbl 0752.03027号 吉安·伊夫·吉拉德 70 1991 交互几何。二: 无死锁算法。 Zbl 0716.03047号 吉安·伊夫·吉拉德 21 1990 有界线性逻辑:多项式时间可计算性的模块化方法。扩展摘要。 Zbl 0773.03007号 吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。 5 1990 证据和类型。 Zbl 0671.68002号 吉安·伊夫·吉拉德;保罗·泰勒;伊夫·拉丰特 354 1989 交互几何。一: 系统F的解释。 Zbl 0686.03030号 吉安·伊夫·吉拉德 57 1989 朝向相互作用的几何体。 兹伯利0672.03039 吉安·伊夫·吉拉德 35 1989 正规函子、幂级数和(lambda)-演算。 Zbl 0646.03056号 吉安·伊夫·吉拉德 45 1988 线性逻辑。 Zbl 0625.03037号 吉安·伊夫·吉拉德 964 1987 证明理论和逻辑复杂性。第一卷。 Zbl 0635.03052号 吉安·伊夫·吉拉德 148 1987 线性逻辑和惰性计算。 Zbl 0647.03016号 吉拉德,J.Y。;Lafont,Y。 69 1987 乘数。 Zbl 0667.03046号 吉安·伊夫·吉拉德 10 1987 线性逻辑和并行。 Zbl 0629.03036号 吉安·伊夫·吉拉德 4 1987 组合问题中扩张器的一些应用。一、。 Zbl 0634.03057号 V.M.Abrusci。;吉拉德,J.Y。;范德维勒,J。 4 1987 La mouche dans La bouteille酒店。(瓶子里的苍蝇)。 Zbl 0623.01012号 吉拉德,J.Y。 三 1987 二阶λ-微积分。(二阶兰姆达-卡尔库勒) Zbl 0645.03013号 吉安·伊夫·吉拉德 1 1987 十五年后,变量类型的系统({\mathcal F})。 Zbl 0623.03013号 吉安·伊夫·吉拉德 122 1986 介绍\(\Pi^1_2\)-逻辑。 Zbl 1069.03503号 吉安·伊夫·吉拉德 9 1985 设置递归和\(\Pi^1_2\)-逻辑。 Zbl 0575.03034号 吉安·伊夫·吉拉德;达格·诺曼 9 1985 逻辑元素\(\Pi^1_n\)。 Zbl 0573.03029号 吉安·伊夫·吉拉德;让·皮埃尔·雷赛尔 5 1985 函数和序数符号。一: Veblen层次的函数结构。 兹伯利0568.03027 吉安·伊夫·吉拉德;杰奎琳·沃泽尔 10 1984 函数和序数符号。二: 巴赫曼等级的函数结构。 Zbl 0568.03028号 吉安·伊夫·吉拉德;杰奎琳·沃泽尔 5 1984 无法访问的总理简历和Mahlo et la theéorie des scalteurs。 兹伯利0556.03043 吉拉德,J.Y。;沃泽利斯,J。 三 1984 (Pi_2^1)逻辑综述。 Zbl 0496.03038号 吉拉德,J.-Y。 4 1982 赫布兰德定理和证明理论。 Zbl 0496.03036号 吉安·伊夫·吉拉德 三 1982 归纳定义的实证研究。一、。 Zbl 0494.03037号 吉安·伊夫·吉拉德 2 1982 \(\Pi_2^1)-逻辑。一: 扩张器。 Zbl 0496.03037号 吉安·伊夫·吉拉德 73 1981 关于(Sigma_1-\)语句含义的一个结果及其在范式定理中的应用。 Zbl 0469.03039号 吉安·伊夫·吉拉德;彼得·帕平豪斯 1 1981 功能性和类囊体。 Zbl 0441.03012号 吉拉德,J.Y。 三 1977 三值逻辑与删减:武提猜想的实际意义。 Zbl 0357.02027号 吉拉德,J.Y。 18 1976 Quelques résultats surles解释功能。 Zbl 0287.02017号 吉拉德,J.Y。 2 1973 Gödelál’analyse的interprétation,et son application a l’elimination des coupures dans l’anaAnalyse et la théorie des types的扩展。(哥德尔的解释扩展到分析,并应用于分析和类型理论中的删减)。 Zbl 0221.02013 吉安·伊夫·吉拉德 83 1971 所有引用出版物 前5名被引用出版物 全部的 前5名1438位作者引用 25 托马斯·埃尔哈德 23 乌戈·达尔拉戈 23 Max Iosifovich,卡诺维奇 23 安德烈·斯克洛夫 21 伊莱恩·皮门特尔 19 萨姆森·艾布拉姆斯基 19 吉安·伊夫·吉拉德 19 卡洛斯·奥拉特 18 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 18 弗兰克,普芬宁 17 菲利普·斯科特。 16 阿诺·阿夫隆 16 理查德·布鲁特(Richard F.Blute)。 16 安东·弗伦德 16 戴尔·艾伦·米勒 15 迪莉娅·凯斯纳 15 安德里亚·马西尼 14 卢茨斯特拉汉堡 13 玛丽贝尔·费尔南德斯 13 伊恩·麦基 13 大卫·J·派姆。 13 迈克尔·拉特扬 12 Vivek Nigam先生 12 杰奎琳·沃泽尔 12 安德烈亚斯·魏尔曼 11 Gilles Dowek 11 乔尔吉·贾普里泽 11 洛伦佐托托拉·德·法尔科 11 吉田、Nobuko 10 维托·米歇尔·阿布鲁西 10 费德里科·阿西埃里 10 帕特里克·贝洛特 10 沃伊切赫Buszkowski 10 科科特,J.罗宾B。 10 迪迪埃·加米歇 10 西蒙·马提尼 10 卡里姆·努尔 10 川崎捷瑞 9 桑德拉·阿尔维斯 9 安东尼奥·布恰雷利 9 可口、蒂埃里 9 皮埃尔·卢伊斯·居里 9 吉尔达·费雷拉 9 斯特凡诺游击队 9 滨野、Masahiro 9 Hyland,J.Martin E。 9 诺里希罗·卡米德 9 朱利奥·曼佐内托 9 米歇尔·帕加尼 9 费德里科·马蒂亚斯·佩洛斯 9 托马斯·塞勒 9 范·贝克尔,斯特芬 8 瓦莱里亚·德·佩瓦 8 罗伯特·梅利 8 达米亚诺·马扎 8 冈田三弘 8 克里斯汀·塔森 8 格林·温斯克尔 8 玛格丽塔·佐齐 7 安德烈亚·阿斯佩蒂 7 爱德华多·亚历杭德罗·巴里奥 7 亚历杭德罗·迪亚斯·卡洛 7 科斯塔·多森 7 克劳迪娅·法吉安 7 马里奥弗洛里多 7 马丁·霍夫曼 7 本田、高黑 7 贾格尔,格哈德 7 Jean-Baptiste儒瓦内 7 奥利维·洛朗 7 亚历山大·莱奇 7 Jean-Yves玛丽恩 7 盖·安德鲁·麦库斯克 7 弗朗西斯科·保利 7 皮斯托内,保罗 7 加布里埃尔·普尔奇尼 7 西蒙娜·隆奇·德尔拉·罗卡 7 亚历克西斯·索林 7 罗伯特·A·G·西利。 7 谢尔盖·斯拉夫诺夫 7 丹尼尔·利马·文图拉 6 安德烈亚斯·阿贝尔(Andreas M.Abel)。 6 贝尼氨基Accattoli 6 马提亚斯·巴兹 6 吉安路易吉·贝林 6 伊利亚诺·塞维萨托 6 蝉蜕、阿加塔 6 文森特·达诺斯 6 让·H·加利耶。 6 克洛德·基什内尔 6 Jean-Louis Krivine 6 何塞·梅塞盖尔·瓜伊塔 6 格林·莫里尔(Glyn V.Morrill)。 6 佩雷斯(Jorge A.Pérez)。 6 邱道文 6 克里斯蒂安·雷托雷 6 达米安·恩里克 6 斯坦利·斯科特·韦纳 5 胡安·巴勃罗·阿奎莱拉 5 斯特凡诺·巴拉泰拉 …还有1338位作者 全部的 前5名引用于116连载 245 理论计算机科学 152 纯逻辑与应用逻辑年鉴 105 信息与计算 98 MSCS公司。计算机科学中的数学结构 64 符号逻辑杂志 54 计算机科学中的逻辑方法 43 Studia Logica公司 36 哲学逻辑杂志 36 数学逻辑档案 30 逻辑、语言与信息杂志 28 纯粹与应用代数杂志 27 模糊集与系统 25 自动推理杂志 23 符号逻辑公报 19 应用非经典逻辑杂志 19 函数编程杂志 17 应用逻辑杂志 13 合成 13 数学逻辑季刊(MLQ) 11 国际理论物理杂志 11 数学与人工智能年鉴 11 泛逻辑 10 圣母院形式逻辑杂志 10 程序设计中的逻辑和代数方法杂志 9 逻辑科公报 9 RAIRO公司。Informatique Théorique et Applications公司 9 符号逻辑综述 7 人工智能 7 符号计算杂志 7 计算的形式方面 7 应用的分类结构 7 RAIRO公司。理论信息学及其应用 6 信息处理信件 6 逻辑与代数程序设计杂志 5 信息学报 5 物流与物流建筑 5 范畴的理论与应用 4 美国数学学会会刊 4 逻辑历史与哲学 4 计算机科学与技术杂志 4 托波伊 4 高阶和符号计算 4 逻辑与逻辑哲学 4 逻辑程序设计理论与实践 4 ACM计算逻辑事务 三 数学进展 三 代数与逻辑 三 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 三 计算机与系统科学杂志 三 新一代计算 三 计算与应用数学 三 图表 三 软计算 三 开放数学 三 应用数学与计算力学杂志 2 计算机与数学及其应用 2 代数普遍性 2 《伦敦数学学会通报》 2 美国数学学会会刊 2 半群论坛 2 计算机程序设计科学 2 国际计算机科学基础杂志 2 Indagationes Mathematicae公司。新系列 2 工程、通信和计算中的应用代数 2 数学科学杂志(纽约) 2 选择Mathematica。新系列 2 计算系统理论 2 埃尔肯特尼斯 2 数学逻辑杂志 2 康普特斯·伦德斯。数学。巴黎科学院 2 伦敦皇家学会哲学学报。A.数学、物理和工程科学 1 数学笔记 1 剑桥哲学学会数学进展杂志 1 比特币 1 捷克斯洛伐克数学杂志 1 镓ṇita公司 1 代数杂志 1 伦敦数学学会杂志。第二系列 1 凯贝内提卡 1 模拟中的数学和计算机 1 太平洋数学杂志 1 京都大学数学科学研究所出版物 1 巴勒莫马蒂科·马蒂科广场(Rendiconti del Circolo Matemático di Palermo)。II系列 1 软件。实践与经验 1 控制论与系统 1 国际近似推理杂志 1 应用数学快报 1 吉泰。实验与理论人工智能杂志 1 几何和功能分析。加法 1 自动化和远程控制 1 分布式计算 1 系统设计中的形式化方法 1 埃及数学学会杂志 1 斯博尼克:数学 1 约束条件 1 俄斯特拉维大学数学与信息学报 1 美国医学会杂志 1 计算机基础理论 1 国际不确定性、模糊性和基于知识的系统杂志 1 澳大利亚数学学会杂志 …还有16部连续剧 全部的 前5名34个领域被引用 1,438 数学逻辑和基础(03-XX) 882 计算机科学(68至XX) 199 范畴理论;同调代数(18-XX) 99 阶、格、有序代数结构(06-XX) 39 博弈论、经济学、金融和其他社会和行为科学(91-XX) 38 量子理论(81-XX) 18 总体主题;集合(00-XX) 15 历史和传记(01-XX) 11 组合数学(05-XX) 11 一般代数系统(08-XX) 11 一般拓扑结构(54至XX) 11 信息与通信理论、电路(94-XX) 5 功能分析(46倍X倍) 5 生物学和其他自然科学(92-XX) 4 结合环与代数(16-XX) 4 群论与推广(20-XX) 4 微分几何(53至XX) 三 代数几何(14-XX) 三 \(K\)理论(19-XX) 三 动力系统和遍历理论(37至XX) 三 代数拓扑(55-XX) 三 流形和细胞复合体(57至XX) 三 数值分析(65-XX) 三 运筹学、数学规划(90-XX) 三 系统论;控制(93至XX) 2 数论(11-XX) 2 交换代数(13-XX) 2 几何图形(51至XX) 2 整体分析,流形分析(58至XX) 2 数学教育(97-XX) 1 非结合环与代数(17-XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 粒子和系统力学(70-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.