编辑配置文件（在新选项卡中打开） 安德烈亚·阿斯佩蒂 合著者距离 作者ID： 仙人掌 发布日期： 安德烈亚·阿斯佩蒂；A.阿斯佩蒂。 外部链接： 管理程序·ORCID公司 已编制索引的文档： 68出版物自1986年以来，包括2本书 2作为编辑的贡献 合著者： 47位合著者具有57联合出版物 764位合作作者 全部的 前5名合著者 12 单作者的 15 克劳迪奥·萨塞尔多蒂·科恩 13 恩里科·塔西 12 威尔默·里奇奥蒂 8 科西莫·拉内夫 4 Stefano扎奇罗利 三 费卢西奥·圭迪 三 朱塞佩·隆戈 三 西蒙·马提尼 三 卢卡·帕多瓦尼 三 艾琳·谢纳 2 杰里米·阿维加德 2 蝉蜕、阿加塔 2 保罗·科波拉 2 简·赫尔曼·杰弗斯 1 克里斯蒂安·阿蒙塔诺 1 Grzegorz Bancerek公司 1 伊夫·贝托特 1 布赫伯格，布鲁诺 1 纳迪亚·布西 1 朱利叶斯·克罗博切克 1 科恩，西里尔 1 詹姆斯·哈罗德·达文波特 1 乔瓦娜·多尔（Giovanna M.Dore）。 1 弗朗索瓦·加里洛 1 塞西莉亚·乔瓦内蒂 1 乔治·戈蒂尔 1 斯特凡诺游击队 1 圣埃芬·勒鲁 1 珍妮·雅克·利维 1 爱丽丝·勒布 1 阿西亚·马布比 1 玛丽亚·艾米莉亚·梅埃蒂 1 哈里·乔治，迈森 1 莱昂内尔·伊利·马曼 1 安德烈亚·纳莱托 1 拉贾·纳塔拉扬 1 罗素·奥康纳 1 乌尔德·比哈，西迪 1 爱荷华州帕什卡 1 劳伦斯·里多 1 卢卡·罗维斯 1 乔瓦尼·桑宾 1 塞尔米，马蒂奥 1 阿列克谢·索洛维耶夫 1 Laurent Théry 1 安德烈·特雷布利克 1 西尔维奥·瓦伦蒂尼 1 伯恩德·韦格纳 全部的 前5名系列 5 MSCS公司。计算机科学中的数学结构 4 信息与计算 三 理论计算机科学 三 自动推理杂志 三 形式化推理杂志 2 函数编程杂志 2 ACM计算逻辑事务 2 计算机科学课堂讲稿 1 符号逻辑杂志 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 工程、通信和计算中的应用代数 1 数学与人工智能年鉴 1 萨达纳 1 剑桥理论计算机科学丛书 1 计算机科学中的逻辑方法 全部的 前5名领域 61 计算机科学（68至XX） 33 数学逻辑和基础（03-XX） 5 范畴理论；同调代数（18-XX） 4 总体主题；集合（00-XX） 2 数论（11-XX） 1 群论与推广（20-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 63出版物有被引用433中的次307文件 引用人▼ 年份▼ 奇数阶定理的机器检验证明。 Zbl 1317.68211号 乔治·戈蒂尔；安德烈亚·阿斯佩蒂；杰里米·阿维加德；伊夫·贝托特；科恩，西里尔；弗朗索瓦·加里洛；勒鲁（Le Roux，Stéphane）；阿西亚·马布比；罗素·奥康纳；乌尔德·比哈，西迪；爱荷华州帕斯卡；劳伦斯·里多；阿列克谢·索洛维耶夫；恩里科·塔西；Laurent Théry 67 2013 类别、类型和结构。为在职计算机科学家介绍范畴理论。 Zbl 0783.18001号 安德烈亚·阿斯佩蒂；朱塞佩·隆戈 57 1991 函数式编程语言的最佳实现。 兹比尔1282.68005 安德烈亚·阿斯佩蒂；斯特凡诺游击队 31 1998 直觉轻仿射逻辑。 Zbl 1365.03040号 安德烈亚·阿斯佩蒂；卢卡·罗维斯 24 2002 轻仿射逻辑。 Zbl 0945.03533号 A.阿斯佩蒂。 23 1998 Matita交互式定理证明器。 Zbl 1341.68179号 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西 22 2011 用户与Matita校对助手的交互。 Zbl 1132.68673号 安德烈亚·阿斯佩蒂；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西；Stefano扎奇罗利 17 2007 统一的提示。 Zbl 1252.68246号 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西 13 2009 基于内容的数学搜索引擎：Whelp。 兹比尔1172.68623 安德烈亚·阿斯佩蒂；费卢西奥·圭迪；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西；Stefano扎奇罗利 12 2006 制作校对助手。 兹比尔1178.68524 安德烈亚·阿斯佩蒂；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西；Stefano扎奇罗利 11 2007 HELM中的数学知识管理。 Zbl 1025.68080号 安德烈亚·阿斯佩蒂；卢卡·帕多瓦尼；克劳迪奥·萨塞尔多蒂·科恩；费卢西奥·圭迪；艾琳·谢纳 11 2003 博洛尼亚最优高阶机器。 Zbl 0876.68018号 安德烈亚·阿斯佩蒂；塞西莉亚·乔瓦内蒂；安德烈亚·纳莱托 10 1996 交互系统I：最优约简理论。 Zbl 0871.03006号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 10 1994 \（\lambda \）-演算中的路径、计算和标签。 Zbl 0873.03012号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 9 1995 并行beta缩减并不是简单的递归。 Zbl 1005.68037号 安德烈亚·阿斯佩蒂；Maison、Harry G。 9 2001 线性逻辑、协和函数和最佳约简。 Zbl 0818.03007号 安德烈亚·阿斯佩蒂 8 1995 规范化图灵机器。 Zbl 1361.68183号 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂 6 2012 数学知识管理。第三届国际会议，2004年MKM，2004年9月19日至21日，波兰比亚奥维埃。诉讼程序。 Zbl 1053.68003号 6 2004 数论的一页。 Zbl 1194.68206号 安德烈亚·阿斯佩蒂；克里斯蒂安·阿蒙塔诺 5 2008 多带图灵机的形式化。 兹比尔1330.68065 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂 5 2015 移动Petri网。 Zbl 1191.68427号 A.阿斯佩蒂。；北布西。 5 2009 赖斯定理的内涵。 Zbl 1295.03025号 安德烈亚·阿斯佩蒂 5 2008 （共）归纳结构演算的双向精化算法。 Zbl 1238.68145号 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西 5 2012 交互系统的最佳简化。 Zbl 1497.68236号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 5 1993 正则表达式等价可判定性的一个紧凑证明。 Zbl 1360.68738号 安德烈亚·阿斯佩蒂 4 2012 交互作用系统II：最优削减的实践。 兹伯利0873.03015 安德烈亚·阿斯佩蒂；科西莫·拉内夫 4 1996 关于切比雪夫在数论中的一些结果的形式化。 兹伯利1246.03026 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂 4 2009 HELM和语义数学网。 Zbl 1005.68545号 安德烈亚·阿斯佩蒂；卢卡·帕多瓦尼；克劳迪奥·萨塞尔多蒂·科恩；艾琳·谢纳 4 2001 （最佳）复制不是基本递归。 Zbl 1323.68091号 安德烈亚·阿斯佩蒂；保罗·科波拉；西蒙·马提尼 4 2000 归纳结构演算的紧凑内核。 Zbl 1196.68221号 A.阿斯佩蒂。；W.里奇奥蒂。；Sacerdoti Coen，C。；E.塔西。 4 2009 （最佳）复制不是基本递归。 Zbl 1075.68011号 安德烈亚·阿斯佩蒂；保罗·科波拉；西蒙·马提尼 4 2004 Matita教程。 Zbl 1451.68314号 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂；克劳迪奥·萨塞尔多蒂·科恩 4 2014 对环境机器的明确理解。 Zbl 0841.18002号 安德烈亚·阿斯佩蒂 三 1992 高效检索数学语句。 Zbl 1108.68582号 安德烈亚·阿斯佩蒂；塞尔米，马蒂奥 三 2004 基于副调式反驳的高阶证明重建：单位相等情况。 Zbl 1202.68370号 安德烈亚·阿斯佩蒂；恩里科·塔西 三 2007 关于交互式谚语可用性的一些考虑。 Zbl 1286.68388号 安德烈亚·阿斯佩蒂；克劳迪奥·萨塞尔多蒂·科恩 三 2010 智能匹配。 Zbl 1286.68389号 安德烈亚·阿斯佩蒂；恩里科·塔西 三 2010 社会过程、程序验证等等。 Zbl 1178.68333号 安德烈亚·阿斯佩蒂；赫尔曼·格乌弗斯；拉贾·纳塔拉扬 2 2009 部分语态的分类和类型结构之间的关系。弗里德曼和斯塔特曼主题的部分变体。 Zbl 0761.68059号 安德烈亚·阿斯佩蒂；朱塞佩·隆戈 2 1988 部分组合代数可完备的一个充分条件。 Zbl 0918.03007号 安德烈亚·阿斯佩蒂；蝉蜕、阿加塔 2 1997 MIX乘法线性逻辑中的因果依赖。 Zbl 0852.03022号 安德烈亚·阿斯佩蒂 2 1995 数学知识管理。第二届国际会议，2003年MKM，意大利贝蒂诺罗，2003年2月16日至18日。诉讼程序。 Zbl 1015.00029号 2 2003 Borodin-Trakhtenbrot间隙定理的形式证明。 Zbl 1426.68094号 安德烈亚·阿斯佩蒂 2 2013 网上数学搜索：最新进展和未来发展。 兹比尔1137.00307 安德烈亚·阿斯佩蒂；Stefano扎奇罗利 2 2005 禅宗和形式化的艺术。 兹比尔1276.03002 安德烈亚·阿斯佩蒂；杰里米·阿维加德 2 2011 贝特朗假设的证明。 Zbl 1451.68331号 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂 2 2012 目标导向证明策略的交互式驱动程序。 Zbl 1291.68319号 安德烈亚·阿斯佩蒂；恩里科·塔西 2 2009 相干域中的稳定性和可计算性。 Zbl 0716.03042号 安德烈亚·阿斯佩蒂 2 1990 有效的应用结构。 Zbl 1502.03010号 安德烈亚·阿斯佩蒂；蝉蜕、阿加塔 2 1995 交互式代数课程，包含形式化的证明和定义。 Zbl 1151.97300号 安德烈亚·阿斯佩蒂；赫尔曼·格乌弗斯；爱丽丝·勒布；莱昂内尔·伊利·马曼；克劳迪奥·萨塞尔多蒂·科恩 1 2006 互动系统中的家庭关系。 Zbl 0942.68534号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1994 用MIX实现乘法线性逻辑的另一个正确性准则。 Zbl 0964.03533号 安德烈亚·阿斯佩蒂；乔瓦娜·多雷 1 1994 多态性的分类模型。 Zbl 0772.18007号 安德烈亚·阿斯佩蒂；西蒙·马提尼 1 1992 Matita的web界面。 Zbl 1360.68739号 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂 1 2012 通过交互式定理证明程序Matita对形式拓扑进行形式化。 Zbl 1335.68223号 安德烈亚·阿斯佩蒂；玛丽亚·艾米莉亚·梅埃蒂；克劳迪奥·萨塞尔多蒂·科恩；乔瓦尼·桑宾；西尔维奥·瓦伦蒂尼 1 2011 安全操作人员：支架永远关闭。优化最佳（lambda）演算实现。 Zbl 0901.03017号 安德烈亚·阿斯佩蒂；朱利叶斯·克罗博切克 1 1997 比较共享图中的\（\lambda\）-演算转换。 Zbl 1063.03507号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1995 有限类型的计算复杂性。 Zbl 1354.68091号 安德烈亚·阿斯佩蒂 1 2015 MOWGLI–数字文档中数学信息的机器可理解表示方法。 Zbl 1038.00008号 安德烈亚·阿斯佩蒂；伯恩德·韦格纳 1 2003 \（\lambda\）-演算中的使用成本。 Zbl 1366.03170号 安德烈亚·阿斯佩蒂；珍妮·雅克·莱维 1 2013 关于共享图的动力学。 Zbl 1401.68029号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1997 \（\lambda \）-演算中的路径、计算和标签。 Zbl 1514.03040号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1993 \（\delta\circ！\epsilon=1\）。优化最佳（lambda）演算实现。 Zbl 1514.03039号 安德烈亚·阿斯佩蒂 1 1995 多带图灵机的形式化。 兹比尔1330.68065 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂 5 2015 有限类型的计算复杂性。 Zbl 1354.68091号 安德烈亚·阿斯佩蒂 1 2015 Matita教程。 兹比尔1451.68314 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂；克劳迪奥·萨塞尔多蒂·科恩 4 2014 一台机器检验了奇阶定理的证明。 Zbl 1317.68211号 乔治·戈蒂尔；安德烈亚·阿斯佩蒂；杰里米·阿维加德；伊夫·贝托特；科恩，西里尔；弗朗索瓦·加里洛；勒鲁（Le Roux，Stéphane）；阿西亚·马布比；O＆rsquo的；罗素·康纳；乌尔德·比哈，西迪；爱荷华州帕斯卡；劳伦斯·里多；阿列克谢·索洛维耶夫；恩里科·塔西；Laurent Théry 67 2013 Borodin-Trakhtenbrot间隙定理的形式证明。 Zbl 1426.68094号 安德烈亚·阿斯佩蒂 2 2013 \（\lambda\）-演算中的使用成本。 Zbl 1366.03170号 安德烈亚·阿斯佩蒂；珍妮·雅克·莱维 1 2013 规范化图灵机器。 Zbl 1361.68183号 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂 6 2012 （共）归纳结构演算的双向精化算法。 Zbl 1238.68145号 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西 5 2012 正则表达式等价可判定性的一个紧凑证明。 Zbl 1360.68738号 安德烈亚·阿斯佩蒂 4 2012 贝特朗假设的证明。 Zbl 1451.68331号 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂 2 2012 Matita的web界面。 Zbl 1360.68739号 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂 1 2012 Matita交互式定理证明器。 Zbl 1341.68179号 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西 22 2011 禅宗和形式化艺术。 Zbl 1276.03002号 安德烈亚·阿斯佩蒂；杰里米·阿维加德 2 2011 通过交互式定理证明程序Matita对形式拓扑进行形式化。 Zbl 1335.68223号 安德烈亚·阿斯佩蒂；玛丽亚·艾米莉亚·梅埃蒂；克劳迪奥·萨塞尔多蒂·科恩；乔瓦尼·桑宾；西尔维奥·瓦伦蒂尼 1 2011 关于交互式谚语可用性的一些考虑。 Zbl 1286.68388号 安德烈亚·阿斯佩蒂；克劳迪奥·萨塞尔多蒂·科恩 三 2010 智能匹配。 Zbl 1286.68389号 安德烈亚·阿斯佩蒂；恩里科·塔西 三 2010 统一的提示。 Zbl 1252.68246号 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西 13 2009 移动Petri网。 Zbl 1191.68427号 A.阿斯佩蒂。；北布西。 5 2009 关于Chebyshev在数论中某些结果的形式化。 兹伯利1246.03026 安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂 4 2009 归纳结构演算的紧凑内核。 Zbl 1196.68221号 A.阿斯佩蒂。；W.里奇奥蒂。；Sacerdoti Coen，C。；E.塔西。 4 2009 社会过程、程序验证等等。 Zbl 1178.68333号 安德烈亚·阿斯佩蒂；赫尔曼·格乌弗斯；拉贾·纳塔拉扬 2 2009 目标导向证明策略的交互式驱动程序。 Zbl 1291.68319号 安德烈亚·阿斯佩蒂；恩里科·塔西 2 2009 数论的一页。 Zbl 1194.68206号 安德烈亚·阿斯佩蒂；克里斯蒂安·阿蒙塔诺 5 2008 赖斯定理的内涵。 Zbl 1295.03025号 安德烈亚·阿斯佩蒂 5 2008 用户与Matita校对助手的交互。 Zbl 1132.68673号 安德烈亚·阿斯佩蒂；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西；Stefano扎奇罗利 17 2007 制作校对助手。 兹比尔1178.68524 安德烈亚·阿斯佩蒂；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西；Stefano扎奇罗利 11 2007 基于准调制的反驳的高阶证明重构：单位相等的情况。 兹比尔1202.68370 安德烈亚·阿斯佩蒂；恩里科·塔西 三 2007 基于内容的数学搜索引擎：Whelp。 兹比尔1172.68623 安德烈亚·阿斯佩蒂；费卢西奥·圭迪；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西；Stefano扎奇罗利 12 2006 一门交互式代数课程，包含形式化的证明和定义。 Zbl 1151.97300号 安德烈亚·阿斯佩蒂；赫尔曼·格乌弗斯；爱丽丝·勒布；莱昂内尔·伊利·马曼；克劳迪奥·萨塞尔多蒂·科恩 1 2006 网上数学搜索：最新进展和未来发展。 Zbl 1137.00307号 安德烈亚·阿斯佩蒂；Stefano扎奇罗利 2 2005 数学知识管理。第三届国际会议，2004年MKM，2004年9月19日至21日，波兰比亚奥维埃。诉讼程序。 Zbl 1053.68003号 6 2004 （最佳）复制不是基本递归。 Zbl 1075.68011号 安德烈亚·阿斯佩蒂；保罗·科波拉；西蒙·马提尼 4 2004 高效检索数学语句。 Zbl 1108.68582号 安德烈亚·阿斯佩蒂；塞尔米，马蒂奥 三 2004 HELM中的数学知识管理。 Zbl 1025.68080号 安德烈亚·阿斯佩蒂；卢卡·帕多瓦尼；克劳迪奥·萨塞尔多蒂·科恩；费卢西奥·圭迪；艾琳·谢纳 11 2003 数学知识管理。第二届国际会议，2003年MKM，意大利贝蒂诺罗，2003年2月16日至18日。诉讼程序。 Zbl 1015.00029号 2 2003 MOWGLI–数字文档中数学信息的机器可理解表示方法。 Zbl 1038.00008号 安德烈亚·阿斯佩蒂；伯恩德·韦格纳 1 2003 直觉轻仿射逻辑。 Zbl 1365.03040号 安德烈亚·阿斯佩蒂；卢卡·罗维斯 24 2002 并行beta缩减并不是简单的递归。 Zbl 1005.68037号 安德烈亚·阿斯佩蒂；Maison、Harry G。 9 2001 HELM和语义数学网。 Zbl 1005.68545号 安德烈亚·阿斯佩蒂；卢卡·帕多瓦尼；克劳迪奥·萨塞尔多蒂·科恩；艾琳·谢纳 4 2001 （最佳）复制不是基本递归。 Zbl 1323.68091号 安德烈亚·阿斯佩蒂；保罗·科波拉；西蒙·马提尼 4 2000 函数式编程语言的最佳实现。 兹比尔1282.68005 安德烈亚·阿斯佩蒂；斯特凡诺游击队 31 1998 轻仿射逻辑。 Zbl 0945.03533号 A.阿斯佩蒂。 23 1998 部分组合代数可完备的一个充分条件。 Zbl 0918.03007号 安德烈亚·阿斯佩蒂；蝉蜕、阿加塔 2 1997 安全操作人员：支架永远关闭。优化最佳（lambda）演算实现。 Zbl 0901.03017号 安德烈亚·阿斯佩蒂；朱利叶斯·克罗博切克 1 1997 关于共享图的动力学。 兹比尔1401.68029 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1997 博洛尼亚最优高阶机器。 Zbl 0876.68018号 安德烈亚·阿斯佩蒂；塞西莉亚·乔瓦内蒂；安德烈亚·纳莱托 10 1996 交互系统II：最佳还原的实践。 Zbl 0873.03015号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 4 1996 \（\lambda \）-演算中的路径、计算和标签。 Zbl 0873.03012号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 9 1995 线性逻辑、协和函数和最佳约简。 Zbl 0818.03007号 安德烈亚·阿斯佩蒂 8 1995 MIX乘法线性逻辑中的因果依赖。 Zbl 0852.03022号 安德烈亚·阿斯佩蒂 2 1995 有效的应用结构。 Zbl 1502.03010号 安德烈亚·阿斯佩蒂；蝉蜕、阿加塔 2 1995 比较共享图中的\（\lambda\）-演算转换。 Zbl 1063.03507号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1995 \（\delta\circ！\epsilon=1\）。优化最佳（lambda）演算实现。 Zbl 1514.03039号 安德烈亚·阿斯佩蒂 1 1995 交互系统I：最优约简理论。 Zbl 0871.03006号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 10 1994 互动系统中的家庭关系。 Zbl 0942.68534号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1994 用MIX实现乘法线性逻辑的另一个正确性准则。 Zbl 0964.03533号 安德烈亚·阿斯佩蒂；乔瓦娜·多雷 1 1994 交互系统的最佳简化。 Zbl 1497.68236号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 5 1993 \（\lambda \）-演算中的路径、计算和标签。 Zbl 1514.03040号 安德烈亚·阿斯佩蒂；科西莫·拉内夫 1 1993 对环境机器的明确理解。 Zbl 0841.18002号 安德烈亚·阿斯佩蒂 三 1992 多态性的分类模型。 Zbl 0772.18007号 安德烈亚·阿斯佩蒂；西蒙·马提尼 1 1992 类别、类型和结构。为在职计算机科学家介绍范畴理论。 兹比尔0783.18001 安德烈亚·阿斯佩蒂；朱塞佩·隆戈 57 1991 相干域中的稳定性和可计算性。 兹比尔0716.03042 安德烈亚·阿斯佩蒂 2 1990 部分语态的分类和类型结构之间的关系。弗里德曼和斯塔特曼主题的部分变体。 Zbl 0761.68059号 安德烈亚·阿斯佩蒂；朱塞佩·隆戈 2 1988 所有引用出版物 前5名被引用出版物 全部的 前5名429位作者引用 22 安德烈亚·阿斯佩蒂 13 克劳迪奥·萨塞尔多蒂·科恩 11 弗洛里安·拉贝 10 恩里科·塔西 9 Cezary卡利西克 8 乌戈·达尔拉戈 7 伊恩·麦基 7 西蒙·马提尼 6 玛丽贝尔·费尔南德斯 6 迈克尔·科尔哈斯 6 朱塞佩·隆戈 6 劳伦斯·查尔斯·保尔森 5 贝尼亚米·阿卡托利 5 帕特里克·贝洛特 5 斯特凡诺游击队 5 朱利奥·曼佐内托 5 威尔默·里奇奥蒂 4 杰里米·阿维加德 4 费卢西奥·圭迪 4 科西莫·拉内夫 4 卢卡·罗维斯 4 约瑟夫·乌尔班 4 文森特·范·奥斯特罗姆 三 萨姆森·艾布拉姆斯基 三 雷纳尔德·阿弗尔德 三 阿尔维斯，桑德拉 三 安东尼奥·布恰雷利 三 雅克·卡雷特 三 陈兴伦 三 科恩，西里尔 三 莱昂纳多·德·莫拉 三 托马斯·埃尔哈德 三 Farmer，William M。 三 扬尼克·福斯特 三 简·赫尔曼·杰弗斯 三 安德烈亚·马西尼 三 托比亚斯·尼普科 三 迈克尔·诺里什 三 凯瑟琳·奥里亚特 三 米盖尔·帕加诺 三 卢卡保利尼 三 豪尔赫·索萨·品托 三 安德烈·波佩斯库 三 弗朗索瓦·雷吉斯·西诺 三 马可·索列里 三 索洛夫·弗拉基米洛维奇 2 吉安卢卡·阿马托 2 泽纳·M·阿里奥拉。 2 何塞·巴塞拉尔·阿尔梅达 2 Grzegorz Bancerek公司 2 贾斯敏·克里斯蒂安·布兰切特 2 鲍勃·科克 2 保罗·科波拉 2 斯特凡妮娅·邓布拉娃 2 佐尔坦·埃西克 2 马里奥弗洛里多 2 Thibault Gauthier 2 伊曼纽尔·冈瑟 2 乔纳森·赫拉斯 2 马丁·霍夫曼 2 富利亚·霍罗扎尔 2 Max Iosifovich，卡诺维奇 2 克日什托夫·卡普尔金 2 迪莉娅·凯斯纳 2 扬·威廉·克鲁普 2 弗拉基米尔·科门丹斯基 2 Olexandr科诺瓦洛夫 2 昆查尔，Ondřej 2 李文达 2 斯蒂芬·林顿（Stephen A.Linton）。 2 玛丽亚·艾米莉亚·梅埃蒂 2 贾科莫·马莱托 2 达米亚诺·马扎 2 麦克布赖德，康纳·托马斯 2 西芒，索萨甜瓜 2 尤金尼奥·莫吉 2 内尔玛·莫雷拉 2 Pąk，卡罗尔 2 帕斯莫尔，格兰特·奥尼 2 戴维·佩雷拉（David P.Pereira）。 2 毛罗·皮科洛 2 西蒙娜·隆奇·德尔拉·罗卡 2 Damien Rouhling公司 2 坂口和彦 2 乔瓦尼·桑宾 2 佐藤信也 2 马蒂亚斯·施罗德 2 尼古拉斯·西亚法卡斯 2 雅各布·格鲁·西蒙森 2 格特·斯莫尔卡 2 溅出物，Bas 2 萨那斯托亚诺维奇 2 德米特里·特拉泰尔 2 米盖尔·维拉萨 2 马卡里乌斯·温泽尔 2 弗里克·威迪杰克 2 贝塔·齐利安尼 1 马克·亚当斯 1 阿伦斯，贝内迪克特 1 泽维尔·阿拉米吉恩 …还有329位作者 全部的 前5名52篇连载文章被引用 43 理论计算机科学 23 自动推理杂志 16 信息与计算 15 MSCS公司。计算机科学中的数学结构 8 纯逻辑与应用逻辑年鉴 7 函数编程杂志 5 计算机科学中的逻辑方法 4 数学与人工智能年鉴 4 计算机科学中的数学 三 符号计算杂志 三 图表 三 高阶和符号计算 三 ACM计算逻辑事务 2 人工智能 2 合成 2 工程、通信和计算中的应用代数 2 实验数学 2 应用的分类结构 2 符号逻辑公报 2 逻辑与代数程序设计杂志 2 萨达纳 2 应用逻辑杂志 2 形式化推理杂志 2 程序设计中的逻辑和代数方法杂志 2 伦敦皇家学会哲学汇刊。A.数学、物理和工程科学 1 数学信使 1 模糊集与系统 1 计算机与系统科学杂志 1 数学经济学杂志 1 Kodai数学杂志 1 圣母院形式逻辑杂志 1 拓扑及其应用 1 计算机程序设计科学 1 逻辑历史与哲学 1 计算机科学与技术杂志 1 美国数学学会公报。新系列 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 数学科学杂志（纽约） 1 土耳其数学杂志 1 范畴的理论与应用 1 软计算 1 科学基础 1 逻辑程序设计理论与实践 1 代数、数论与应用杂志 1 物理学基础 1 泛逻辑 1 符号逻辑述评 1 理论生物学杂志 1 Pi数学论坛 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 膜计算杂志 全部的 前5名30个领域被引用 254 计算机科学（68至XX） 142 数学逻辑和基础（03-XX） 41 范畴理论；同调代数（18-XX） 9 总体主题；集合（00-XX） 6 数论（11-XX） 4 阶、格、有序代数结构（06-XX） 4 一般拓扑结构（54-XX） 4 量子理论（81-XX） 三 历史和传记（01-XX） 三 一般代数系统（08-XX） 三 场论和多项式（12-XX） 三 交换代数（13-XX） 三 代数拓扑（55-XX） 三 生物学和其他自然科学（92-XX） 2 代数几何（14-XX） 2 群论与推广（20-XX） 2 实函数（26年X月X日） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 结合环与代数（16-XX） 1 常微分方程（34-XX） 1 动力系统和遍历理论（37至XX） 1 几何图形（51至XX） 1 凸和离散几何（52至XX） 1 微分几何（53至XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的引文