编辑配置文件(在新选项卡中打开) 安德鲁·皮特斯(Andrew M.Pitts)。 合著者距离 作者ID: 皮特斯·安德雷夫-m 发布日期: 安德鲁·皮特斯(Andrew M.Pitts)。;安德鲁·皮特斯;A.M.皮特斯。;安迪·皮特斯;A.皮特斯。 更多。。。较少的 已编制索引的文档: 70出版物自1980年以来,包括1本书 11作为编辑的贡献·1进一步贡献 合著者: 39位合著者具有47联合出版物 1166合著作者 全部的 前5名合著者 34 单作者的 6 默多克·詹姆斯·加贝 6 伊恩,奥尔顿 4 马克·辛维尔。 三 菲奥雷,马塞洛·P。 三 安德鲁·D·戈登。 三 马修·拉金。 三 斯特芬·Lösch 三 南卡罗来纳州斯坦坎普。 2 拉纳德·A·克鲁斯顿。 2 阿图尔·祖马 2 彼得·戴比杰 2 海兰德·J·马丁·E·。 2 Johnstone,Peter T。 2 库尔特·梅尔霍恩 2 大卫·H·皮特。 2 阿克塞尔·波涅 2 Joshua R.X.罗斯。 2 David E.Rydeheard。 2 溅出物,Bas 2 城市,基督教 2 罗杰·沃滕霍夫(Roger P.Wattenhofer)。 1 萨姆森·艾布拉姆斯基 1 卢卡·埃特罗 1 安基永 1 加文·M·比尔曼。 1 拉尔斯·比克达尔 1 罗伊·克罗。 1 皮埃尔·卢伊斯·居里 1 贾斯珀·德里克斯 1 迈克尔·保罗·福曼 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 朱塞佩·隆戈 1 麦凯,迈克尔 1 巴赛尔·曼纳 1 朱斯塔斯·马蒂森 1 莫格尔贝里,拉斯穆斯·埃杰勒斯 1 艾克·里特 1 蒂姆·谢尔德 1 伊恩·斯塔克 1 卡罗琳·塔尔科特。 全部的 前5名系列 5 计算机科学课堂讲稿 4 理论计算机科学 4 MSCS公司。计算机科学中的数学结构 4 计算机科学中的逻辑方法 三 信息与计算 2 纯粹与应用代数杂志 2 函数编程杂志 2 美国医学会杂志 2 牛顿研究所出版物 2 理论计算机科学电子笔记 1 剑桥哲学学会数学进展杂志 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 模糊集与系统 1 符号逻辑杂志 1 伦敦数学学会会刊。第三系列 1 Studia Logica公司 1 美国数学学会会刊 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 欧洲理论计算机科学协会(EATCS)公报 1 计算的形式方面 1 IGPL逻辑杂志 1 欧洲理论计算机科学协会公报 1 ACM计算逻辑事务 1 剑桥理论计算机科学丛书 1 伦敦数学学会讲座笔记系列 全部的 前5名领域 59 计算机科学(68至XX) 41 数学逻辑和基础(03-XX) 27 范畴理论;同调代数(18-XX) 10 总体主题;集合(00-XX) 6 代数拓扑(55-XX) 5 阶、格、有序代数结构(06-XX) 2 一般代数系统(08-XX) 1 历史和传记(01-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 64出版物有1187年被引用中的次748文件 引用人▼ 年份▼ 使用变量绑定实现抽象语法的新方法。 Zbl 1001.68083号 默多克·J·加贝。;安德鲁·皮特斯(Andrew M.Pitts)。 147 2002 名义逻辑,一种关于名称和约束的一阶理论。 兹伯利1056.03014 安德鲁·皮特斯(Andrew M.Pitts)。 98 2003 标称设置。计算机科学中的名称和对称。 Zbl 1297.68008号 安德鲁·皮特斯(Andrew M.Pitts)。 81 2013 关于一阶直觉主义命题逻辑中二阶量化的解释。 兹比尔0763.03009 安德鲁·皮特斯(Andrew M.Pitts)。 71 1992 名义统一。 Zbl 1078.68140号 城市,基督教;安德鲁·皮特斯(Andrew M.Pitts)。;默多克·J·加贝。 64 2004 Tripos理论。 Zbl 0451.03027号 海兰德,J.M.E。;约翰斯通,P.T。;A.M.皮特斯。 58 1980 多态性是理论上的、建设性的集合。 Zbl 0644.18003号 A.M.皮特斯。 40 1987 域的关系属性。 Zbl 0868.68037号 安德鲁·皮特斯(Andrew M.Pitts)。 39 1996 具有局部状态的函数的操作推理。 Zbl 0967.68035号 安德鲁·皮特斯;伊恩·斯塔克 39 1998 FreshML:使用绑定器编程变得简单。 Zbl 1315.68058号 马克·辛维尔。;安德鲁·皮特斯(Andrew M.Pitts)。;默多克·J·加贝。 35 2003 结构理论:范畴语义和拓扑理论模型。 Zbl 0721.03048号 海兰德·J·马丁·E·。;安德鲁·皮特斯(Andrew M.Pitts)。 31 1989 参数多态性和操作等效性。 Zbl 0955.68024号 安德鲁·皮特斯(Andrew M.Pitts)。 30 2000 阿尔法结构递归和归纳。 Zbl 1326.68180号 安德鲁·皮特斯(Andrew M.Pitts)。 29 2006 回顾Tripos理论。 Zbl 1005.18005号 安德鲁·皮特斯(Andrew M.Pitts)。 24 2002 同伦类型理论模型中的内部宇宙。 兹比尔1462.03010 丹尼尔·李卡塔(Daniel R.Licata)。;伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。;溅出物,Bas 20 2018 一种使用绑定名称模块重命名进行编程的元语言。 兹比尔0963.68502 安德鲁·皮特斯(Andrew M.Pitts)。;默多克·J·加贝。 19 2000 超参数丰富范畴理论在层理论中的应用。 Zbl 0619.18005号 安德鲁·皮特斯(Andrew M.Pitts)。 19 1988 名义方程式逻辑。 兹比尔1277.68043 拉纳德·A·克鲁斯顿。;安德鲁·皮特斯(Andrew M.Pitts)。 19 2007 基于操作的程序等效理论。 Zbl 0919.68086号 安德鲁·皮特斯 18 1997 关于局部有限可表示范畴的一些结果。 Zbl 0615.18002号 马克凯,M。;A.M.皮特斯。 17 1987 名词逻辑:关于名称和约束的一阶理论。 Zbl 1087.03510号 安德鲁·皮特斯(Andrew M.Pitts)。 17 2001 操作语义和程序等价性。 Zbl 1065.68067号 安德鲁·皮特斯(Andrew M.Pitts)。 17 2002 模糊集不构成拓扑。 Zbl 0499.03051号 A.M.皮特斯。 16 1982 开放映射在范畴逻辑中的应用。 Zbl 0521.03051号 A.M.皮特斯。 16 1983 名义统一。 Zbl 1116.03322号 城市,基督教;安德鲁·皮特斯;默多克·加贝 15 2003 拓扑中立方体类型理论建模的公理。 Zbl 1370.03016号 伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 15 2016 Heyting代数范畴中的合并和插值。 Zbl 0517.18004号 A.M.皮特斯。 15 1983 关于新鲜度的一元语义。 Zbl 1077.68050号 马克·辛维尔。;安德鲁·皮特斯(Andrew M.Pitts)。 15 2005 拓扑中用于建模立方体类型理论的公理。 Zbl 1509.03054号 伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 15 2018 定点计算的新基础:FIX-hyperdoctrines和FIX-logic。 Zbl 0763.03031号 罗伊·克罗。;安德鲁·皮特斯(Andrew M.Pitts)。 13 1992 递归定义域的共归纳原理。 Zbl 0795.68129号 安德鲁·皮特斯(Andrew M.Pitts)。 12 1994 类型理论立方集模型的标称表示。 Zbl 1434.03044号 安德鲁·皮特斯(Andrew M.Pitts)。 12 2015 关于地形基础的产品和变更。 Zbl 0574.18003号 安德鲁·皮特斯 11 1985 模态依赖型理论和依赖右邻接。 Zbl 1479.03011号 拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·皮特斯(Andrew M.Pitts)。;溅出物,Bas 11 2020 范畴理论和计算机科学。1989年9月5日至8日,英国曼彻斯特。诉讼程序。 Zbl 0712.68006号 9 1989 一阶直觉逻辑的概念完备性:范畴逻辑的应用。 Zbl 0665.03048号 安德鲁·皮特斯(Andrew M.Pitts)。 9 1989 豪的高阶语言方法。 Zbl 1285.68110号 安德鲁·皮特斯 8 2012 的操作属性莉莉,一个带递归的多态线性lambda演算。 Zbl 1262.68099号 G.M.比尔曼。;A.M.皮特斯。;俄罗斯,哥伦比亚。 7 2001 具有可抽象名称的从属类型理论。 Zbl 1342.68054号 安德鲁·皮特斯(Andrew M.Pitts)。;朱斯塔斯·马蒂森;贾斯珀·德里克斯 7 2015 标称系统T。 Zbl 1312.68066号 安德鲁·皮特斯(Andrew M.Pitts)。 5 2010 通过范畴理论对前命题进行插值和概念完备性。 Zbl 0653.18004号 安德鲁·皮特斯(Andrew M.Pitts)。 5 1987 通过“混合”归纳定义实现计算充分性。 Zbl 1509.68153号 安德鲁·皮特斯(Andrew M.Pitts)。 5 1994 构造无限商诱导类型。 兹伯利07250942 菲奥雷,马塞洛·P。;安德鲁·皮特斯(Andrew M.Pitts)。;南卡罗来纳州斯坦坎普。 5 2020 具有本地范围名称的结构递归。 Zbl 1271.68079号 安德鲁·皮特斯(Andrew M.Pitts)。 4 2011 带有引用类型的\(\lambda\)-演算与标准ML之间的完全抽象转换。 Zbl 1063.68551号 艾克·里特;安德鲁·皮特斯(Andrew M.Pitts)。 三 1995 在高阶类型函数编程中使用绑定器解析归纳定义。 Zbl 1234.68057号 马修·拉金。;安德鲁·皮特斯(Andrew M.Pitts)。 三 2009 名称的生成性解绑。 Zbl 1153.68352号 安德鲁·皮特斯(Andrew M.Pitts)。;马克·R·辛维尔。 三 2008 非平凡的权力类型不能是多态类型的子类型。 Zbl 0716.03005号 安德鲁·皮特斯(Andrew M.Pitts)。 三 1989 类别在计算机科学中的应用。1991年7月20日至30日在英国达勒姆大学举行的LMS研讨会论文集。 Zbl 0771.00028号 2 1992 具有标称Scott域的指称语义。 Zbl 1321.68202号 斯特芬·Lösch;安德鲁·皮特斯(Andrew M.Pitts)。 2 2014 关于局部笛卡尔闭范畴中罗素悖论的注记。 Zbl 0702.03036号 安德鲁·皮特斯(Andrew M.Pitts)。;保罗·泰勒 2 1989 回顾Tripos理论。 Zbl 0958.68099号 安德鲁·皮特斯(Andrew M.Pitts)。 2 1999 计算的语义和逻辑。1995年9月,英国剑桥艾萨克·牛顿数学科学研究所暑期学校。 Zbl 0894.00050号 2 1997 范畴理论和计算机科学。第四届两年一度的夏季会议,1991年9月3日至6日,法国巴黎。诉讼程序。 Zbl 0768.00016号 1 1991 关于语义和语法之间逻辑关系的注释。 Zbl 0877.03013号 安德鲁·皮特斯(Andrew M.Pitts)。 1 1997 阿尔法结构递归和归纳。 Zbl 1152.68464号 安德鲁·皮特斯(Andrew M.Pitts)。 1 2005 参数多态性和操作等效性。(初步版本)。 Zbl 0925.68081号 安迪·皮特斯 1 1997 自动化、语言和编程。2012年7月9日至13日,第39届国际学术讨论会,ICALP 2012,英国考文垂。诉讼程序,第一部分。 Zbl 1268.68011号 1 2012 将本地作用域名称的两种语义联系起来。 兹比尔1247.68046 斯特芬·Lösch;安德鲁·皮特斯(Andrew M.Pitts)。 1 2011 商、归纳类型和商归纳类型。 Zbl 1502.18046号 菲奥雷,马塞洛·P。;安德鲁·皮特斯(Andrew M.Pitts)。;南卡罗来纳州斯坦坎普。 1 2022 分解单价公理。 兹比尔1528.03110 伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 1 2018 编码没有新名称的抽象语法。 Zbl 1269.68043号 马修·拉金。;安德鲁·皮特斯(Andrew M.Pitts)。 1 2012 系统\(\mathrm F_{i}\)。具有可擦除项诱导的高阶多态(lambda)演算。 Zbl 1381.68044号 安基永;蒂姆·谢尔德;马塞洛·菲奥雷;安德鲁·皮特斯(Andrew M.Pitts)。 1 2013 基于对提交形式的评估的过程演算。 Zbl 1514.68180号 安德鲁·皮特斯(Andrew M.Pitts)。;Joshua R.X.罗斯。 1 1996 商、归纳类型和商归纳类型。 Zbl 1502.18046号 菲奥雷,马塞洛·P。;安德鲁·皮特斯(Andrew M.Pitts)。;南卡罗来纳州斯坦坎普。 1 2022 模态从属类型理论和从属右伴随词。 Zbl 1479.03011号 拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·皮特斯(Andrew M.Pitts)。;溅出物,Bas 11 2020 构造无限商诱导类型。 Zbl 07250942号 菲奥雷,马塞洛·P。;安德鲁·皮特斯(Andrew M.Pitts)。;南卡罗来纳州斯坦坎普。 5 2020 同伦类型理论模型中的内部宇宙。 Zbl 1462.03010号 丹尼尔·李卡塔(Daniel R.Licata)。;伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。;溅出物,Bas 20 2018 拓扑中立方体类型理论建模的公理。 Zbl 1509.03054号 伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 15 2018 分解单价公理。 Zbl 1528.03110号 伊恩,奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 1 2018 拓扑中立方体类型理论建模的公理。 Zbl 1370.03016号 伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 15 2016 类型理论立方集模型的标称表示。 兹伯利1434.03044 安德鲁·皮特斯(Andrew M.Pitts)。 12 2015 具有可抽象名称的从属类型理论。 Zbl 1342.68054号 安德鲁·皮特斯(Andrew M.Pitts)。;朱斯塔斯·马蒂森;贾斯珀·德里克斯 7 2015 具有标称斯科特域的指称语义。 Zbl 1321.68202号 斯特芬·Lösch;安德鲁·皮特斯(Andrew M.Pitts)。 2 2014 标称设置。计算机科学中的名称和对称。 Zbl 1297.68008号 安德鲁·皮特斯(Andrew M.Pitts)。 81 2013 系统\(\mathrm F_{i}\)。具有可擦除项诱导的高阶多态(lambda)演算。 Zbl 1381.68044号 安基永;蒂姆·谢尔德;马塞洛·菲奥雷;安德鲁·皮特斯(Andrew M.Pitts)。 1 2013 豪的高阶语言方法。 Zbl 1285.68110号 安德鲁·皮特斯 8 2012 自动化、语言和编程。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会,ICALP 2012。诉讼程序,第一部分。 Zbl 1268.68011号 1 2012 编码没有新名称的抽象语法。 Zbl 1269.68043号 马修·拉金。;安德鲁·皮特斯(Andrew M.Pitts)。 1 2012 具有本地范围名称的结构递归。 Zbl 1271.68079号 安德鲁·皮特斯(Andrew M.Pitts)。 4 2011 将本地作用域名称的两种语义联系起来。 兹比尔1247.68046 斯特芬·Lösch;安德鲁·皮特斯(Andrew M.Pitts)。 1 2011 标称系统T。 Zbl 1312.68066号 安德鲁·皮特斯(Andrew M.Pitts)。 5 2010 在高阶类型函数编程中用绑定器解析归纳定义。 Zbl 1234.68057号 马修·拉金。;安德鲁·皮特斯(Andrew M.Pitts)。 三 2009 名称的生成性解绑。 Zbl 1153.68352号 安德鲁·皮特斯(Andrew M.Pitts)。;马克·辛维尔。 三 2008 名义上的等式逻辑。 Zbl 1277.68043号 拉纳德·A·克鲁斯顿。;安德鲁·皮特斯(Andrew M.Pitts)。 19 2007 阿尔法结构递归和归纳。 Zbl 1326.68180号 安德鲁·皮特斯(Andrew M.Pitts)。 29 2006 关于新鲜度的一元语义。 Zbl 1077.68050号 马克·辛维尔。;安德鲁·皮特斯(Andrew M.Pitts)。 15 2005 阿尔法结构递归和归纳。 Zbl 1152.68464号 安德鲁·皮特斯(Andrew M.Pitts)。 1 2005 名义统一。 Zbl 1078.68140号 城市,基督教;安德鲁·皮特斯(Andrew M.Pitts)。;默多克·J·加贝。 64 2004 名义逻辑,一种关于名称和约束的一阶理论。 Zbl 1056.03014号 安德鲁·皮特斯(Andrew M.Pitts)。 98 2003 FreshML:使用绑定器编程变得简单。 Zbl 1315.68058号 马克·辛维尔。;安德鲁·皮特斯(Andrew M.Pitts)。;默多克·J·加贝。 35 2003 名义统一。 Zbl 1116.03322号 城市,基督教;安德鲁·皮特斯;默多克·加贝 15 2003 使用变量绑定实现抽象语法的新方法。 Zbl 1001.68083号 默多克·J·加贝。;安德鲁·皮特斯(Andrew M.Pitts)。 147 2002 回顾Tripos理论。 Zbl 1005.18005号 安德鲁·皮特斯(Andrew M.Pitts)。 24 2002 操作语义和程序等价性。 Zbl 1065.68067号 安德鲁·皮特斯(Andrew M.Pitts)。 17 2002 名词逻辑:关于名称和约束的一阶理论。 Zbl 1087.03510号 安德鲁·皮特斯(Andrew M.Pitts)。 17 2001 的操作属性莉莉,一个带递归的多态线性lambda演算。 Zbl 1262.68099号 G.M.比尔曼。;A.M.皮特斯。;俄罗斯,哥伦比亚。 7 2001 参数多态性和操作等效性。 Zbl 0955.68024号 安德鲁·皮特斯(Andrew M.Pitts)。 30 2000 一种使用绑定名称模块重命名进行编程的元语言。 Zbl 0963.68502号 安德鲁·皮特斯(Andrew M.Pitts)。;默多克·J·加贝。 19 2000 Tripos理论回顾。 Zbl 0958.68099号 安德鲁·皮特斯(Andrew M.Pitts)。 2 1999 具有局部状态的函数的操作推理。 Zbl 0967.68035号 安德鲁·皮特斯;伊恩·斯塔克 39 1998 基于操作的程序等价理论。 Zbl 0919.68086号 安德鲁·皮特斯 18 1997 计算的语义和逻辑。1995年9月,英国剑桥艾萨克·牛顿数学科学研究所暑期学校。 Zbl 0894.00050号 2 1997 关于语义和句法之间逻辑关系的注释。 Zbl 0877.03013号 安德鲁·皮特斯(Andrew M.Pitts)。 1 1997 参数多态性和操作等效性。(初步版本)。 Zbl 0925.68081号 安迪·皮特斯 1 1997 域的关系属性。 Zbl 0868.68037号 安德鲁·皮特斯(Andrew M.Pitts)。 39 1996 基于对提交形式的评估的过程演算。 Zbl 1514.68180号 安德鲁·皮特斯(Andrew M.Pitts)。;Joshua R.X.罗斯。 1 1996 带有引用类型的\(\lambda\)-演算与标准ML之间的完全抽象转换。 Zbl 1063.68551号 艾克·里特;安德鲁·皮特斯(Andrew M.Pitts)。 三 1995 递归定义域的共归纳原理。 Zbl 0795.68129号 安德鲁·皮特斯(Andrew M.Pitts)。 12 1994 通过“混合”归纳定义实现计算充分性。 Zbl 1509.68153号 安德鲁·皮特斯(Andrew M.Pitts)。 5 1994 关于一阶直觉主义命题逻辑中二阶量化的解释。 Zbl 0763.03009号 安德鲁·皮特斯(Andrew M.Pitts)。 71 1992 定点计算的新基础:FIX-hyperdoctrines和FIX-logic。 Zbl 0763.03031号 罗伊·克罗。;安德鲁·皮特斯(Andrew M.Pitts)。 13 1992 类别在计算机科学中的应用。1991年7月20日至30日在英国达勒姆大学举行的LMS研讨会论文集。 Zbl 0771.00028号 2 1992 范畴理论和计算机科学。第四届两年一度的夏季会议,1991年9月3日至6日,法国巴黎。诉讼程序。 Zbl 0768.00016号 1 1991 结构理论:范畴语义和拓扑理论模型。 Zbl 0721.03048号 海兰德·J·马丁·E·。;安德鲁·皮特斯(Andrew M.Pitts)。 31 1989 范畴理论和计算机科学。1989年9月5日至8日,英国曼彻斯特。诉讼程序。 Zbl 0712.68006号 9 1989 一阶直觉逻辑的概念完备性:范畴逻辑的应用。 Zbl 0665.03048号 安德鲁·皮特斯(Andrew M.Pitts)。 9 1989 非平凡的权力类型不能是多态类型的子类型。 兹比尔0716.03005 安德鲁·皮特斯(Andrew M.Pitts)。 三 1989 关于局部笛卡尔闭范畴中罗素悖论的注记。 Zbl 0702.03036号 安德鲁·皮特斯(Andrew M.Pitts)。;保罗·泰勒 2 1989 超参数丰富范畴理论在层理论中的应用。 兹比尔0619.18005 安德鲁·皮特斯(Andrew M.Pitts)。 19 1988 多态性是理论上的、建设性的集合。 Zbl 0644.18003号 A.M.皮特斯。 40 1987 关于局部有限可表示范畴的一些结果。 Zbl 0615.18002号 马克凯,M。;A.M.皮特斯。 17 1987 通过范畴理论对前命题进行插值和概念完备性。 Zbl 0653.18004号 安德鲁·皮特斯(Andrew M.Pitts)。 5 1987 关于地形基础的产品和变更。 Zbl 0574.18003号 安德鲁·皮特斯 11 1985 开放映射在范畴逻辑中的应用。 Zbl 0521.03051号 A.M.皮特斯。 16 1983 Heyting代数范畴中的合并和插值。 Zbl 0517.18004号 A.M.皮特斯。 15 1983 模糊集不构成拓扑。 Zbl 0499.03051号 A.M.皮特斯。 16 1982 Tripos理论。 Zbl 0451.03027号 海兰德,J.M.E。;约翰斯通,P.T。;A.M.皮特斯。 58 1980 所有引用的出版物 前5名被引用出版物 全部的 前5名739位作者引用 23 玛丽贝尔·费尔南德斯 23 安德鲁·皮特斯(Andrew M.Pitts)。 22 默多克·詹姆斯·加贝 16 拉尔斯·比克达尔 14 毛里西奥·阿亚拉·林科恩 11 安德烈·穆拉夫斯基。 11 Schmidt Schauß,曼弗雷德 10 可口、蒂埃里 10 西尔维奥·吉拉尔迪 10 罗伯特·哈珀 10 Daniele Nantes Sobrinho 10 尼科斯·齐夫列科斯 9 Møgelberg、Rasmus Ejlers 8 巴托克·克林 8 大卫·萨贝尔 8 卢茨·施罗德 7 Marta C.邦吉。 7 切尼,詹姆斯 7 帕特里夏·约翰 7 马里诺·米库兰 7 斯特凡·米利厄斯 7 约阿希姆·帕罗 7 安德烈·斯克洛夫 7 托马斯·斯特里彻 6 安德烈·亚历山德鲁 6 文森佐·西安西亚 6 罗伊·克罗。 6 弗雷、乔纳斯 6 罗莎莉,伊姆霍夫 6 胜本,Shin-ya 6 亚历山大·库兹 6 玛丽亚·艾米莉亚·梅埃蒂 6 法比奥·帕斯夸利 6 碧姬·品特卡 6 朱塞佩·罗索里尼 6 克里斯蒂安·斯特夫林 6 城市,基督教 6 弗兰克·沃尔特 5 奥曼·波霍拉,约翰内斯 5 克利斯朵夫·卡尔维斯 5 卢卡·卡德利 5 加布里埃尔·乔巴努 5 拉纳德·A·克鲁斯顿。 5 埃内斯托·科佩罗 5 伊凡·迪利贝蒂 5 吉安·路易吉,法拉利 5 尼尔·加尼 5 亚历山德罗·吉亚诺拉 5 卡迪耶·凯什瓦尔杜斯特 5 德克斯特·C·科赞。 5 多雷尔·卢卡努 5 马可·蒙塔利 5 乌戈·蒙塔纳里。 5 安德烈·里夫金 5 Edmund P.罗宾逊。 5 Kimmo I.罗森塔尔。 5 格里高·罗什乌 5 克里斯蒂安·萨特勒 5 施温哈默(Jan Schwinghammer) 5 亚历克斯·K·辛普森。 5 萨姆·斯塔顿 5 诺拉·萨兹 5 阿尔瓦罗·塔西斯特罗 5 雅各布·塔姆斯堡 5 戴维·特罗塔 5 雅普·范·奥斯汀 4 丹尼尔·艾哈曼 4 安德烈·鲍尔 4 尼克·本顿 4 马丁·伯杰(Martin J.Berger)。 4 约翰内斯·伯格斯特伦 4 迭戈·卡尔瓦内斯 4 乔瓦娜·达戈斯蒂诺 4 华盛顿州,de Carvalho-Segundo 4 迪克·乔恩。 4 菲奥雷,马塞洛·P。 4 乔纳森·R·芬克。 4 Dan R.吉卡。 4 克劳迪奥·赫米达 4 马丁·霍夫曼 4 吉勒姆·贾伯 4 特默尔库西亚 4 尤努斯·D·K·库茨。 4 麦凯,迈克尔 4 萨缪尔·马斯基奥 4 尤金尼奥·莫吉 4 伊恩·奥尔顿 4 Daniela Luan Petrisan 4 罗查·奥利维拉,安娜·克里斯蒂娜 4 罗西克、吉伊 4 马蒂奥·桑马蒂诺 4 亚历山德拉·席尔瓦 4 劳伦斯·内夫·斯托特 4 埃希罗·苏米 4 本诺·范登伯格 4 范古尔,塞缪尔·雅各布 4 托尔斯滕·维曼 4 Marek W.Zawadowski。 三 萨姆森·艾布拉姆斯基 三 卢卡·埃特罗 …还有639名作者 全部的 前5名77篇连载文章中引用 85 理论计算机科学 53 纯逻辑与应用逻辑年鉴 47 MSCS公司。计算机科学中的数学结构 36 信息与计算 34 计算机科学中的逻辑方法 26 纯粹与应用代数杂志 24 自动推理杂志 20 函数编程杂志 19 符号逻辑杂志 18 模糊集与系统 14 程序设计中的逻辑和代数方法杂志 11 Studia Logica公司 11 应用的分类结构 8 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 7 圣母院形式逻辑杂志 7 数学逻辑档案 7 范畴的理论与应用 6 计算的形式方面 6 符号逻辑公报 6 高阶和符号计算 6 RAIRO公司。理论信息学及其应用 4 信息学报 4 计算机与系统科学杂志 4 符号计算杂志 4 逻辑与代数程序设计杂志 三 代数杂志 三 应用非经典逻辑杂志 三 逻辑程序设计理论与实践 三 第比利斯数学杂志 三 符号逻辑述评 2 信息处理信件 2 剑桥哲学学会数学进展杂志 2 合成 2 RAIRO公司。Informatique Théorique et Applications公司 2 数学百科全书。新系列 2 《数理逻辑季刊》 2 逻辑与逻辑哲学 2 ACM计算逻辑事务 2 应用逻辑杂志 2 范畴和一般代数结构及其应用 1 人工智能 1 立陶宛数学杂志 1 数学进展 1 代数普遍性 1 数学档案馆 1 《伦敦数学学会通报》 1 卡罗莱纳大学数学评论 1 捷克斯洛伐克数学杂志 1 伦敦数学学会杂志。第二系列 1 凯贝内提卡 1 西伯利亚数学杂志 1 逻辑科公报 1 拓扑及其应用 1 计算机程序设计科学 1 逻辑历史与哲学 1 国际近似推理杂志 1 美国数学学会公报。新系列 1 分布式计算 1 第二世界大学。努瓦里。Matematic™(马特马蒂) 1 系统设计中的形式化方法 1 数学科学杂志(纽约) 1 图表 1 摩尔多瓦计算机科学杂志 1 工程中的数学问题 1 计算系统理论 1 软计算 1 美国医学会杂志 1 群论杂志 1 计算机基础理论 1 计算机语言、系统和结构 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 Oberwolfach报告 1 斯特克洛夫数学研究所论文集 1 泛逻辑 1 同伦及相关结构杂志 1 离散数学、算法和应用 1 中欧计算机科学杂志 全部的 前5名21个领域被引用 475 计算机科学(68至XX) 423 数学逻辑和基础(03-XX) 209 范畴理论;同调代数(18-XX) 41 阶、格、有序代数结构(06-XX) 20 代数拓扑(55-XX) 16 一般代数系统(08-XX) 11 一般拓扑结构(54-XX) 9 博弈论、经济学、金融和其他社会和行为科学(91-XX) 7 群论与推广(20-XX) 7 信息和通信理论,电路(94-XX) 4 历史和传记(01-XX) 2 代数几何(14-XX) 1 总体主题;集合(00-XX) 1 结合环与代数(16-XX) 1 拓扑群,李群(22日至XX日) 1 实际功能(26年X月X日) 1 抽象谐波分析(43至XX) 1 功能分析(46倍X倍) 1 概率论与随机过程(60-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文