编辑配置文件（在新选项卡中打开） 塔尔莫乌斯塔卢 合著者距离 作者ID： uustalu.tarmo（乌斯塔鲁·塔玛） 发布日期： 塔尔莫乌斯塔卢；乌斯塔鲁，T。 主页： 网址：http://cs.ioc.ee/~塔尔莫/ 外部链接： MGP公司·逆戟鲸·数据库许可证·接地 已编制索引的文档： 84出版物自1990年以来，包括2个附加arXiv预打印 9作为编辑的贡献 合著者： 40位合著者具有82联合出版物 651位联合作者 全部的 前5名合著者 10 单作者的 16 瓦尔莫·维尼 12 尼科洛·维尔特里 8 詹姆斯·查普曼（James T.E.Chapman）。 6 达内尔·阿赫曼 5 托尔斯滕·阿滕柯奇 5 迪伦·麦克德莫特 5 中田庆子 5 鲁伊斯·平托（Luís F.Pinto）。 5 诺姆·齐尔伯格 4 维南西奥·卡普雷塔 4 尼尔·加尼 4 拉尔夫·马提斯 4 安藤萨巴斯 三 丹尼斯·菲尔索夫 三 胜本，Shin-ya 三 尤里·瓦恩 2 安德烈亚斯·阿贝尔（Andreas M.Abel）。 2 弗拉维恩·布鲁瓦特 2 埃斯皮里托·桑托（Espírito Santo）、何塞·卡洛斯（JoséCarlos） 2 亨德里克·马兰德 2 埃克塞奎尔·里瓦斯 2 图古，Ènn Kharal'dovich 1 吉尔·巴特 1 马克·贝泽姆 1 西尔维奥·卡波比安科 1 玛丽亚·乔昂·弗雷德 1 马可·加博阿迪 1 马科托·哈马纳 1 一郎·哈索 1 巴特·雅各布斯 1 帕特里夏·约翰 1 劳德，皮特 1 皮特·洛伦茨 1 梅奥，布莱恩·H。 1 森田康树 1 多米尼克·A·乌节。 1 阿尔贝托·帕尔多 1 林努·平托 1 佐藤，铁杉 1 Niels F.W.Voorneveld。 全部的 前5名系列 5 理论计算机科学 5 计算机科学中的逻辑方法 5 程序设计中的逻辑和代数方法杂志 三 逻辑与代数程序设计杂志 三 计算机科学课堂讲稿 2 MSCS公司。计算机科学中的数学结构 2 北欧计算机杂志 2 爱沙尼亚科学院院刊。物理、数学 2 RAIRO公司。理论信息学及其应用 2 形式化推理杂志 1 计算机程序设计科学 1 信息与计算 1 逻辑与计算杂志 1 Izvestiya Akademii NaukÈstonskoĭSSR。菲齐卡。马特马提卡 1 函数编程杂志 1 Informatica（维尔纽斯） 1 高阶和符号计算 1 计算机基础理论 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 78 计算机科学（68至XX） 31 范畴理论；同调代数（18-XX） 27 数理逻辑与基础（03-XX） 9 总体主题；集合（00-XX） 1 一般代数系统（08-XX） 1 群论与推广（20-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 66出版物有被引用409中的次264文档 引用人▼ 年份▼ 单子不一定是内函子。 Zbl 1448.18007号 托尔斯滕·阿滕柯奇；詹姆斯·查普曼；塔尔莫乌斯塔卢 27 2015 递归定义的基于类型的终止。 Zbl 1054.68027号 G·巴特。；弗雷德，M.J。；E.吉梅内斯。；平托，L。；乌斯塔鲁，T。 24 2004 高阶和嵌套数据类型的迭代和层叠方案。 Zbl 1070.68093号 安德烈亚斯·亚贝尔；拉尔夫·马提斯；塔尔莫乌斯塔卢 18 2005 本原（co）递归和值的过程（co）迭代。 Zbl 0935.68011号 塔尔莫乌斯塔卢；瓦尔莫·维尼 18 1999 单子不一定是内函子。 Zbl 1284.18010号 托尔斯滕·阿滕柯奇；詹姆斯·查普曼；塔尔莫乌斯塔卢 17 2010 广义替代。 Zbl 1042.18003号 塔尔莫乌斯塔卢 16 2003 计算的共鸣概念。 兹比尔1279.68088 塔尔莫乌斯塔卢；瓦尔莫·维尼 16 2008 用变量绑定替换基础不完善的语法。 Zbl 1071.68063号 拉尔夫·马提斯；塔尔莫乌斯塔卢 13 2004 通过分级将效果和系数结合起来。 Zbl 1361.68037号 马可·加博阿迪；胜本，Shin-ya；多米尼克·乌节；弗拉维恩·布鲁瓦特；塔尔莫乌斯塔卢 12 2016 来自辅音的递归方案。 Zbl 0994.68018号 塔尔莫乌斯塔卢；瓦尔莫·维尼；阿尔贝托·帕尔多 11 2001 余递归代数：一般结构余递归的研究。 Zbl 1266.68083号 维南西奥·卡普雷塔；塔尔莫乌斯塔卢；瓦尔莫·维尼 11 2009 来自comonads的递归余代数。 Zbl 1110.68068号 维南西奥·卡普雷塔；塔尔莫乌斯塔卢；瓦尔莫·维尼 10 2006 显式替换和高阶语法。 Zbl 1105.68021号 尼尔·加尼；塔尔莫乌斯塔卢；马科托·哈马纳 10 2006 理想单子的副产物。 Zbl 1072.18006号 尼尔·加尼；塔尔莫乌斯塔卢 10 2004 带标记序列的双直觉命题逻辑的证明搜索和反模型构造。 Zbl 1260.03105号 路易斯·平托；塔尔莫乌斯塔卢 10 2009 带无形态（同位词）的函数编程。 Zbl 0963.68028号 瓦尔莫·维尼；塔尔莫乌斯塔卢 9 1998 门德勒式归纳类型。 Zbl 0937.68029号 塔尔莫乌斯塔卢；瓦尔莫·维尼 8 1999 集装箱什么时候是康乃馨？ Zbl 1338.68172号 达内尔·阿赫曼；詹姆斯·查普曼；塔尔莫乌斯塔卢 8 2014 While基于共导性跟踪的大步语义的Hoare逻辑。 Zbl 1260.68111号 中田庆子；塔尔莫乌斯塔卢 8 2010 低层语言的组合自然语义和Hoare逻辑。 Zbl 1111.68071号 安藤萨巴斯；塔尔莫乌斯塔卢 7 2007 单体和共聚体的相互作用规律。 Zbl 1499.68065号 胜本，Shin-ya；埃克塞奎尔·里瓦斯；塔尔莫乌斯塔卢 7 2020 有效计算的状态管理器。 Zbl 1351.68104号 塔尔莫乌斯塔卢 7 2015 偏单体类别的一致性。 Zbl 1464.18018号 塔尔莫乌斯塔卢 7 2014 While的基于跟踪的共导操作语义。大步和小步、关系型和功能型风格。 Zbl 1252.68056号 中田庆子；塔尔莫乌斯塔卢 6 2009 类型系统的程序和验证优化。 Zbl 1151.68008号 安藤萨巴斯；塔尔莫乌斯塔卢 6 2008 带交互式I/O的While的恢复、弱双相似度和大步语义：混合归纳法练习。 Zbl 1455.68100号 中田庆子；塔尔莫乌斯塔卢 6 2010 用弱双相似性对时滞单子进行商。 兹比尔1407.68306 詹姆斯·查普曼；塔尔莫乌斯塔卢；尼科洛·维尔特里 6 2019 双教学命题逻辑的相关顺序计算。 Zbl 1456.03022号 路易斯·平托；塔尔莫乌斯塔卢 5 2011 单子及其对偶的Codensity提升。 Zbl 1398.18005号 胜本、新雅；佐藤，铁杉；塔尔莫乌斯塔卢 5 2018 将容器定向为类别。 Zbl 1477.68169号 达内尔·阿赫曼；塔尔莫乌斯塔卢 4 2016 斜单体范畴的序列演算。 Zbl 1523.18017号 塔尔莫乌斯塔卢；尼科洛·维尔特里；诺姆·齐尔伯格 4 2018 类型系统相当于命令式语言的数据流分析。 Zbl 1153.68351号 劳德，皮特；塔尔莫乌斯塔卢；瓦尔莫·维尼 4 2006 在无限红色的溪流上。 Zbl 1267.03058号 马克·贝泽姆；中田庆子；塔尔莫乌斯塔卢 4 2012 低层语言的组合自然语义和Hoare逻辑。 Zbl 1273.68215号 安藤萨巴斯；塔尔莫乌斯塔卢 4 2006 用弱双相似性对时滞单子进行商。 Zbl 1407.68305号 詹姆斯·查普曼；塔尔莫乌斯塔卢；尼科洛·维尔特里 4 2015 容器组合学：单子函数和lax单体函子。 Zbl 1485.18004号 塔尔莫乌斯塔卢 4 2017 一元增强和广义捷径融合。 Zbl 1302.68079号 尼尔·加尼；帕特里夏·约翰；塔尔莫乌斯塔卢；瓦尔莫·维尼 4 2005 更新monad：重新解释定向容器。 Zbl 1359.68049号 达内尔·阿赫曼；塔尔莫乌斯塔卢 4 2014 模态嵌入和调用范式。 Zbl 1528.03123号 何塞·埃斯皮里托·桑托；路易斯·平托；塔尔莫乌斯塔卢 4 2019 高阶嵌套数据类型的广义迭代和叠代。 兹比尔1029.68097 安德烈亚斯·亚贝尔；拉尔夫·马提斯；塔尔莫乌斯塔卢 三 2003 普遍地建造、扩充和摧毁。 Zbl 1116.68490号 尼尔·加尼；塔尔莫乌斯塔卢；瓦尔莫·维尼 三 2004 直觉自然演绎中的最小不动点和最大不动点。 Zbl 0984.68136号 塔尔莫乌斯塔卢；瓦尔莫·维尼 三 2002 用变量绑定替换基础不完善的语法。 Zbl 1270.68089号 拉尔夫·马提斯；塔尔莫乌斯塔卢 三 2003 通过计算\（\lambda^{\rightarrow 2}\）进行规范化。 Zbl 1122.68393号 托尔斯滕·阿滕柯奇；塔尔莫乌斯塔卢 三 2004 While基于共导性跟踪的大步语义的Hoare逻辑。 Zbl 1448.68281号 中田庆子；塔尔莫乌斯塔卢 三 2015 关于MonadPlus和非确定性的套曲。 Zbl 1355.68041号 塔尔莫乌斯塔卢 三 2016 延迟monad和限制类别。 Zbl 1444.18010号 塔尔莫乌斯塔卢；尼科洛·维尔特里 三 2017 Plotkin的call-by-value\（\lambda \）-演算是一种模态演算。 Zbl 07531442号 何塞·埃斯皮里托·桑托；路易斯·平托；塔尔莫乌斯塔卢 2 2022 集装箱什么时候是康乃馨？ Zbl 1338.68171号 达内尔·阿赫曼；詹姆斯·查普曼；塔尔莫乌斯塔卢 2 2012 来自cofree递归comonad的递归方案。 Zbl 1291.68149号 塔尔莫乌斯塔卢；瓦尔莫·维尼 2 2011 相对单子形式化。 兹比尔1451.68330 托尔斯滕·阿滕柯奇；詹姆斯·查普曼；塔尔莫乌斯塔卢 2 2014 联合盲文更新镜头。 Zbl 1337.68084号 达内尔·阿赫曼；塔尔莫乌斯塔卢 2 2014 斜单体范畴的序列演算。 Zbl 1495.03073号 塔尔莫乌斯塔卢；尼科洛·维尔特里；诺姆·齐尔伯格 2 2021 关于相互作用定律的代数和余代数观点。 Zbl 1476.68066号 塔尔莫乌斯塔卢；尼尔斯·沃诺内维尔 2 2020 部分正规斜单体范畴的证明理论。 Zbl 1477.18041号 塔尔莫乌斯塔卢；尼科洛·维尔特里；诺姆·齐尔伯格 2 2021 柔性分次单体和分次代数。 Zbl 07705359号 迪伦·麦克德莫特；塔尔莫乌斯塔卢 1 2022 Noetherianess变奏曲。 Zbl 1477.68070号 丹尼斯·菲尔索夫；塔尔莫乌斯塔卢；尼科洛·维尔特里 1 2016 无上下文语言的CYK认证解析。 Zbl 1371.68137号 丹尼斯·菲尔索夫；塔尔莫乌斯塔卢 1 2014 来自辅音的递归余代数。 兹比尔1271.18005 维南西奥·卡普雷塔；塔尔莫乌斯塔卢；瓦尔莫·维尼 1 2004 部分冗余消除的证明优化。 Zbl 1187.68167号 安藤萨巴斯；塔尔莫乌斯塔卢 1 2009 数据流编程的本质。 Zbl 1156.68378号 塔尔莫乌斯塔卢；瓦尔莫·维尼 1 2006 将限制类别正式化。 Zbl 1451.68338号 詹姆斯·查普曼；塔尔莫乌斯塔卢；尼科洛·维尔特里 1 2017 常规语言的认证分析。 Zbl 1303.68077号 丹尼斯·菲尔索夫；塔尔莫乌斯塔卢 1 2013 计算的理论方面——ICTAC 2018。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。 Zbl 1398.68027号 1 2018 条形图递归和条形图归纳的一种代数视图。 Zbl 1474.03105号 维南西奥·卡普雷塔；塔尔莫乌斯塔卢 1 2016 有限性和有理数列，具有建设性。 Zbl 1418.68069号 塔尔莫乌斯塔卢；尼科洛·维尔特里 1 2017 Plotkin的call-by-value\（\lambda \）-演算是一种模态演算。 Zbl 07531442号 何塞·埃斯皮里托·桑托；路易斯·平托；塔尔莫乌斯塔卢 2 2022 柔性分次单体和分次代数。 Zbl 07705359号 迪伦·麦克德莫特；塔尔莫乌斯塔卢 1 2022 斜单体范畴的序列演算。 Zbl 1495.03073号 塔尔莫乌斯塔卢；尼科洛·维尔特里；诺姆·齐尔伯格 2 2021 部分正态斜双曲型范畴的证明理论。 Zbl 1477.18041号 塔尔莫乌斯塔卢；尼科洛·维尔特里；诺姆·齐尔伯格 2 2021 单子体和辅单体的相互作用规律。 Zbl 1499.68065号 胜本，Shin-ya；埃克塞奎尔·里瓦斯；塔尔莫乌斯塔卢 7 2020 关于相互作用定律的代数和余代数观点。 Zbl 1476.68066号 塔尔莫乌斯塔卢；尼尔斯·沃诺内维尔 2 2020 用弱双相似性对时滞单子进行商。 Zbl 1407.68306号 詹姆斯·查普曼；塔尔莫乌斯塔卢；尼科洛·维尔特里 6 2019 模态嵌入和调用范式。 Zbl 1528.03123号 何塞·埃斯皮里托·桑托；路易斯·平托；塔尔莫乌斯塔卢 4 2019 单子及其对偶的Codensity提升。 Zbl 1398.18005号 胜本、新雅；佐藤，铁杉；塔尔莫乌斯塔卢 5 2018 斜单体范畴的序列演算。 Zbl 1523.18017号 塔尔莫乌斯塔卢；尼科洛·维尔特里；诺姆·齐尔伯格 4 2018 计算的理论方面——ICTAC 2018。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。 Zbl 1398.68027号 1 2018 容器组合学：单子函数和lax单体函子。 Zbl 1485.18004号 塔尔莫乌斯塔卢 4 2017 延迟单子和限制类别。 Zbl 1444.18010号 塔尔莫乌斯塔卢；尼科洛·维尔特里 三 2017 将限制类别正式化。 Zbl 1451.68338号 詹姆斯·查普曼；塔尔莫乌斯塔卢；尼科洛·维尔特里 1 2017 有限性和有理数列，具有建设性。 Zbl 1418.68069号 塔尔莫乌斯塔卢；尼科洛·维尔特里 1 2017 通过分级结合效应和系数。 Zbl 1361.68037号 马可·加博阿迪；胜本，Shin-ya；多米尼克·乌节；弗拉维恩·布鲁瓦特；塔尔莫乌斯塔卢 12 2016 将容器定向为类别。 Zbl 1477.68169号 达内尔·阿赫曼；塔尔莫乌斯塔卢 4 2016 关于MonadPlus和非确定性的套曲。 Zbl 1355.68041号 塔尔莫乌斯塔卢 三 2016 Noetherianess变奏曲。 Zbl 1477.68070号 丹尼斯·菲尔索夫；塔尔莫乌斯塔卢；尼科洛·维尔特里 1 2016 条递归和条归纳的联合视图。 Zbl 1474.03105号 维南西奥·卡普雷塔；塔尔莫乌斯塔卢 1 2016 monad不一定是内函子。 Zbl 1448.18007号 托尔斯滕·阿滕柯奇；詹姆斯·查普曼；塔尔莫乌斯塔卢 27 2015 有效计算的状态管理器。 Zbl 1351.68104号 塔尔莫乌斯塔卢 7 2015 用弱双相似性对时滞单子进行商。 Zbl 1407.68305号 詹姆斯·查普曼；塔尔莫乌斯塔卢；尼科洛·维尔特里 4 2015 While基于共导性跟踪的大步语义的Hoare逻辑。 Zbl 1448.68281号 中田庆子；塔尔莫乌斯塔卢 三 2015 集装箱什么时候是康乃馨？ Zbl 1338.68172号 达内尔·阿赫曼；詹姆斯·查普曼；塔尔莫乌斯塔卢 8 2014 偏单体类别的一致性。 Zbl 1464.18018号 塔尔莫乌斯塔卢 7 2014 更新monad：重新解释定向容器。 Zbl 1359.68049号 达内尔·阿赫曼；塔尔莫乌斯塔卢 4 2014 相对单子形式化。 兹比尔1451.68330 托尔斯滕·阿滕柯奇；詹姆斯·查普曼；塔尔莫乌斯塔卢 2 2014 联合盲文更新镜头。 Zbl 1337.68084号 达内尔·阿赫曼；塔尔莫乌斯塔卢 2 2014 无上下文语言的CYK认证解析。 Zbl 1371.68137号 丹尼斯·菲尔索夫；塔尔莫乌斯塔卢 1 2014 常规语言的认证分析。 Zbl 1303.68077号 丹尼斯·菲尔索夫；塔尔莫乌斯塔卢 1 2013 在有限的红色溪流上。 Zbl 1267.03058号 马克·贝泽姆；中田庆子；塔尔莫乌斯塔卢 4 2012 集装箱什么时候是康乃馨？ Zbl 1338.68171号 达内尔·阿赫曼；詹姆斯·查普曼；塔尔莫乌斯塔卢 2 2012 双直觉命题逻辑的关联序列演算。 Zbl 1456.03022号 路易斯·平托；塔尔莫乌斯塔卢 5 2011 来自cofree递归comonad的递归方案。 Zbl 1291.68149号 塔尔莫乌斯塔卢；瓦尔莫·维尼 2 2011 单子不一定是内函子。 Zbl 1284.18010号 托尔斯滕·阿滕柯奇；詹姆斯·查普曼；塔尔莫乌斯塔卢 17 2010 While基于共导性跟踪的大步语义的Hoare逻辑。 Zbl 1260.68111号 中田庆子；塔尔莫乌斯塔卢 8 2010 带交互式I/O的While的恢复、弱双相似度和大步语义：混合归纳法练习。 Zbl 1455.68100号 中田庆子；塔尔莫乌斯塔卢 6 2010 余递归代数：一般结构余递归的研究。 Zbl 1266.68083号 维南西奥·卡普雷塔；塔尔莫乌斯塔卢；瓦尔莫·维尼 11 2009 具有标记序列的双直觉命题逻辑的证明搜索和反模型构造。 Zbl 1260.03105号 路易斯·平托；塔尔莫乌斯塔卢 10 2009 While的基于跟踪的共导操作语义。大步和小步、关系型和功能型风格。 Zbl 1252.68056号 中田庆子；塔尔莫乌斯塔卢 6 2009 部分冗余消除的证明优化。 Zbl 1187.68167号 安藤萨巴斯；塔尔莫乌斯塔卢 1 2009 计算的共鸣概念。 Zbl 1279.68088号 塔尔莫乌斯塔卢；瓦尔莫·维尼 16 2008 类型系统的程序和验证优化。 Zbl 1151.68008号 安藤萨巴斯；塔尔莫乌斯塔卢 6 2008 低层语言的组合自然语义和Hoare逻辑。 Zbl 1111.68071号 安藤萨巴斯；塔尔莫乌斯塔卢 7 2007 来自辅音的递归余代数。 Zbl 1110.68068号 维南西奥·卡普雷塔；塔尔莫乌斯塔卢；瓦尔莫·维尼 10 2006 显式替换和高阶语法。 Zbl 1105.68021号 尼尔·加尼；塔尔莫乌斯塔卢；马科托·哈马纳 10 2006 类型系统相当于命令式语言的数据流分析。 Zbl 1153.68351号 劳德，皮特；塔尔莫乌斯塔卢；瓦尔莫·维尼 4 2006 低层语言的组合自然语义和Hoare逻辑。 Zbl 1273.68215号 安藤萨巴斯；塔尔莫乌斯塔卢 4 2006 数据流编程的本质。 Zbl 1156.68378号 塔尔莫乌斯塔卢；瓦尔莫·维尼 1 2006 高阶和嵌套数据类型的迭代和层叠方案。 Zbl 1070.68093号 安德烈亚斯·亚贝尔；拉尔夫·马提斯；塔尔莫乌斯塔卢 18 2005 一元增强和广义捷径融合。 Zbl 1302.68079号 尼尔·加尼；帕特里夏·约翰；塔尔莫乌斯塔卢；瓦尔莫·维尼 4 2005 递归定义的基于类型的终止。 Zbl 1054.68027号 G·巴特。；M.J.弗雷德。；E.吉梅内斯。；平托，L。；乌斯塔鲁，T。 24 2004 用变量绑定替换基础不完善的语法。 兹比尔1071.68063 拉尔夫·马提斯；塔尔莫乌斯塔卢 13 2004 理想单子的副产物。 Zbl 1072.18006号 尼尔·加尼；塔尔莫乌斯塔卢 10 2004 普遍地建造、扩充和摧毁。 Zbl 1116.68490号 尼尔·加尼；塔尔莫乌斯塔卢；瓦尔莫·维尼 三 2004 通过计算\（\lambda^{\rightarrow 2}\）进行规范化。 Zbl 1122.68393号 托尔斯滕·阿滕柯奇；塔尔莫乌斯塔卢 三 2004 来自辅音的递归余代数。 Zbl 1271.18005号 维南西奥·卡普雷塔；塔尔莫乌斯塔卢；瓦尔莫·维尼 1 2004 广义替代。 Zbl 1042.18003号 塔尔莫乌斯塔卢 16 2003 高阶嵌套数据类型的广义迭代和交叠。 Zbl 1029.68097号 安德烈亚斯·亚贝尔；拉尔夫·马提斯；塔尔莫乌斯塔卢 三 2003 用变量绑定替换基础不完善的语法。 Zbl 1270.68089号 拉尔夫·马提斯；塔尔莫乌斯塔卢 三 2003 直觉自然演绎中的最小不动点和最大不动点。 Zbl 0984.68136号 塔尔莫乌斯塔卢；瓦尔莫·维尼 三 2002 来自辅音的递归方案。 Zbl 0994.68018号 塔尔莫乌斯塔卢；瓦尔莫·维尼；阿尔贝托·帕尔多 11 2001 本原（co）递归和值的过程（co）迭代。 Zbl 0935.68011号 塔尔莫乌斯塔卢；瓦尔莫·维尼 18 1999 门德勒式归纳类型。 Zbl 0937.68029号 塔尔莫乌斯塔卢；瓦尔莫·维尼 8 1999 带无形态（同位词）的函数编程。 Zbl 0963.68028号 瓦尔莫·维尼；塔尔莫乌斯塔卢 9 1998 所有引用的出版物 前5名被引用出版物 全部的 前5名302位作者引用 31 塔尔莫乌斯塔卢 13 斯特凡·米利厄斯 13 尼科洛·维尔特里 10 安德烈亚斯·阿贝尔（Andreas M.Abel）。 9 阿达梅克，吉安尼 9 贡查罗夫，谢尔盖·萨沃斯特·亚诺维奇 8 阿伦斯，贝内迪克特 8 卢茨·施罗德 7 安德烈·赫肖维茨 7 胜本，Shin-ya 7 多米尼克·A·乌节。 7 吉·维勒比尔 6 达内尔·阿赫曼 6 尼尔·加尼 6 安布罗斯·拉丰 6 马可·马格西 6 拉尔夫·马提斯 6 克里斯托夫·劳赫 5 巴特·雅各布斯 5 帕特里夏·约翰 5 尼古拉斯·吴 5 诺姆·齐尔伯格 4 托尔斯滕·阿滕柯奇 4 弗雷德里克·布兰基 4 维南西奥·卡普雷塔 4 弗朗西斯科·达格尼诺 4 马塞洛·菲奥雷（Marcelo P.Fiore）。 4 迪伦·麦克德莫特 4 劳伦斯·莫斯。 4 马西耶·皮罗格 4 萨姆·斯塔顿 4 瓦尔莫·维尼 三 吉尔·巴特 三 乌尔里希·伯杰 三 哈雷III伊德斯 三 理查德·加纳 三 杰里米·吉本斯 三 本杰明·格雷戈里 三 一郎·哈索 三 汤姆·赫肖维茨 三 保罗·布莱恩·利维 三 康诺·托马斯·麦克布莱德 三 里瓦斯，埃克斯奎尔 三 安藤萨巴斯 三 佐藤，铁杉 三 阿伦·斯塔姆 三 Niels F.W.Voorneveld。 2 萨姆森·艾布拉姆斯基 2 亚历杭德罗·阿吉雷 2 纪尧姆·阿拉伊斯 2 罗伯特·艾奇 2 伦纳特·贝林格 2 伊夫·贝托特 2 约翰·伯克 2 安娜·波夫 2 安东尼奥·布恰雷利 2 詹姆斯·查普曼（James T.E.Chapman）。 2 考斯托夫·乔杜里 2 库卡斯·扎伊卡 2 乌戈·达尔拉戈 2 El-Zawawy，Mohamed A。 2 丹尼斯·菲尔索夫 2 迪迪埃·加米歇 2 阿德里安·瓜托 2 马科托·哈马纳 2 Helle Hvid Hansen先生 2 拉尔夫·欣泽 2 格雷厄姆·赫顿 2 Hyland，J.Martin E。 2 毛罗·贾斯克利奥夫 2 克里斯托弗·詹金斯 2 迪莉娅·凯斯纳 2 叶卡捷琳娜·科门丹茨卡亚 2 德克斯特·C·科赞。 2 加布里埃尔·洛比亚 2 丹尼尔·梅里 2 乔治·梅特卡夫 2 米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 2 安德斯·莫特伯格 2 维多利亚州诺克斯 2 克莱顿·彼得森 2 弗兰克·芬宁 2 碧姬·品特卡 2 Damien Pous 2 吉赛尔·雷斯 2 马西斯·雷内拉 2 科林·里巴 2 亚历杭德罗·雷奥斯 2 朱里安·罗特 2 西蒙·桑斯基 2 施费尔，史蒂文 2 汤姆·施里杰弗斯 2 安东·塞泽尔 2 亚历山德拉·席尔瓦 2 保罗·托里尼 2 范德维德，尼尔斯 2 范古尔，塞缪尔·雅各布 2 安德烈亚·维佐西 2 安德烈斯·维索 2 弗拉基米尔·阿列克桑德罗维奇（Vladimir Aleksandrovich） …还有202位作者 全部的 前5名26篇连载文章中引用 24 计算机科学中的逻辑方法 20 函数编程杂志 18 理论计算机科学 14 MSCS公司。计算机科学中的数学结构 8 信息与计算 7 程序设计中的逻辑和代数方法杂志 5 RAIRO公司。理论信息学及其应用 4 纯粹与应用代数杂志 4 计算机程序设计科学 4 应用的分类结构 三 自动推理杂志 三 范畴的理论与应用 三 逻辑与代数程序设计杂志 2 计算的形式方面 2 应用非经典逻辑杂志 2 埃及数学学会杂志 2 高阶和符号计算 1 数学进展 1 计算机与系统科学杂志 1 数学逻辑档案 1 选择Mathematica。新系列 1 逻辑与逻辑哲学 1 计算机语言、系统和结构 1 应用逻辑杂志 1 第比利斯数学期刊 1 符号逻辑述评 全部的 前5名16个领域引用 217 计算机科学（68至XX） 95 数理逻辑与基础（03-XX） 89 范畴理论；同调代数（18-XX） 5 一般代数系统（08-XX） 4 阶、格、有序代数结构（06-XX） 三 测量和集成（28-XX） 三 代数拓扑（55-XX） 三 量子理论（81-XX） 2 结合环与代数（16-XX） 1 总体主题；集合（00-XX） 1 动力系统和遍历理论（37至XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文