编辑配置文件（在新选项卡中打开） Schmidt Schauß，曼弗雷德 计算距离： 计算 作者ID: 施密特·施劳斯。曼弗雷德 发布为： Schmidt Schauß，曼弗雷德;施密特·施劳斯，曼弗雷德;施密特·施劳斯，M。;施密特·施劳斯 外部链接： MGP公司 编制索引的文档： 82种出版物自1985年以来，包括1本书 2编辑稿件 合著者： 35位合著者具有60个联合出版物 476位合著者 全部的 前5名合著者 24 单作者 25 萨贝尔，大卫 7 利维，乔迪 7 维拉雷特，马修 5 马奇卡索娃，埃琳娜 5 舒尔茨，克劳斯U。 4 加森，阿德里 4 库茨，尤努斯D.K。 4 洛里，马库斯 三 哥多，吉勒姆 2 Bürckert，Hans Jürgen 2 千叶，Yuki 2 赫罗德，亚历山大 2 特穆尔库兹亚 2 库兹纳，阿恩 2 曼尼思，塞巴斯蒂安 2 尼伦，约阿希姆 2 罗，康拉德 2 舒茨，马尔科 2 施温哈默，简 2 提瓦里，阿希什·库马尔 1 阿尼斯，阿尔图 1 布德特，亚历山德拉 1 圣地亚哥埃斯科巴 1 朱安娜，让·皮埃尔 1 金，波克儿 1 曼弗雷德 1 曼恩，马提亚斯 1 马希奥里，马西莫 1 西田，直木 1 奥尔巴赫，汉斯·Jürgen 1 帕尼茨，斯文·埃里克 1 酒井正彦 1 施尼格，乔治 1 斯摩卡，格特 1 斯图伯，Jürgen 全部的 前5名连载 9 符号计算杂志 6 理论计算机科学 三 信息处理信函 三 自动推理杂志 三 MSCS公司。计算机科学中的数学结构 2 信息与计算 2 计算系统理论 2 OASIcs–信息学中的OpenAccess系列 1 人工智能 1 计算机与系统科学杂志 1 暹罗计算机杂志 1 逻辑与计算杂志 1 函数程序设计杂志 1 IGPL逻辑杂志 1 雷罗。理论信息学与应用 1 计算机基础理论 1 计算逻辑学报 1 计算机科学讲义 1 计算机科学中的逻辑方法 全部的 前5名领域 79 计算机科学（68-XX） 25 数理逻辑与基础（03-XX） 2 一般性和全局性主题；收藏（00-XX） 2 一般代数系统（08-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 1 序，格，有序代数结构（06-XX） 1 群论与推广（20-XX） 1 运筹学，数学规划（90-XX） 按年份列出的出版物 所有引用出版物 被引用的前5名出版物 zbMATH公开赛中包含的引文 66出版物有被引用407时间269份文件 引用人▼ 年▼ 用补语描述定语概念。 Zbl 0712.68095Schmidt Schauß，曼弗雷德;斯摩卡，格特 85 1991 由任意不相交的方程理论组合而成的统一。 Zbl 0691.03003Schmidt Schauß，曼弗雷德 28 1989 具有术语声明的有序排序逻辑的计算方面。 Zbl 0689.68001施密特·施劳斯，曼弗雷德 27 1989 文法压缩树的参数约简与自动机评估。 Zbl 1246.68114洛里，马库斯;曼尼思，塞巴斯蒂安;Schmidt Schauß，曼弗雷德 15 2012 结合性和幂等性下的统一是无效类型。 Zbl 0626.68069Schmidt Schauß，曼弗雷德 13 1986 KL-ONE中的包含是不可判定的。 Zbl 0709.68096Schmidt Schauß，曼弗雷德 12 1989 布尔环与交换群的统一。 Zbl 0689.68040布德特，亚历山德拉;朱安娜，让·皮埃尔;施密特·施劳斯，曼弗雷德 11 1989 从句的含意是不可判定的。 Zbl 0657.03006施密特·施劳斯，曼弗雷德 10 1988 具有参考单元和未来的并发lambda演算的观察语义。 Zbl 1316.68034尼伦，约阿希姆;萨贝尔，大卫;Schmidt Schauß，曼弗雷德;施温哈默，简 8 2007 一种分层上下文统一的决策算法。 Zbl 1019.03002Schmidt Schauß，曼弗雷德 8 2002 许多分类等式理论中的统一。 Zbl 0643.68138施密特·施劳斯，曼弗雷德 8 1986 一种局部下避选择的按需lambda演算：上下文引理与变换正确性。 Zbl 1153.68011萨贝尔，大卫;施密特·施劳斯，曼弗雷德 8 2008 Nöcker严格性分析的安全性。 Zbl 1153.68012施密特·施劳斯，曼弗雷德;萨贝尔，大卫;舒茨，马尔科 8 2008 压缩项的统一与匹配。 Zbl 1351.68128号加森，阿德里;哥多，吉勒姆;施密特·施劳斯，曼弗雷德 7 2011 具有两个上下文变量的上下文方程的可解性是可判定的。 Zbl 1017.68165Schmidt Schauß，曼弗雷德;舒尔茨，克劳斯U。 7 2002 由任意不相交的方程理论组合而成的统一。 Zbl 0661.68092Schmidt Schauß，曼弗雷德 7 1988 高阶表达式与递归let的名义统一。 Zbl 06791234Schmidt Schauß，曼弗雷德;特穆尔库兹亚;利维，乔迪;维拉雷特，马修 7 2017 关于上下文方程最小解的周期指数。 Zbl 0901.03034Schmidt Schauß，曼弗雷德;舒尔茨，克劳斯U。 6 1998 论等式理论、统一性和（不）可判定性。 Zbl 0684.03004Bürckert，Hans-Jürgen;赫罗德，亚历山大;施密特·施劳斯，曼弗雷德 6 1989 置换方程理论中的统一是不可判定的。 Zbl 0684.03019施密特·施劳斯，曼弗雷德 6 1989 有界二阶统一是NP完全的。 Zbl 1151.68450利维，乔迪;Schmidt Schauß，曼弗雷德;维拉雷特，马修 6 2006 Haskell中的保守并发。 Zbl 1361.68049萨贝尔，大卫;Schmidt Schauß，曼弗雷德 6 2012 分层语境统一是NP完全的。 Zbl 1196.68112利维，乔迪;Schmidt Schauß，曼弗雷德;维拉雷特，马修 5 2006 一种分配统一的决策算法。 Zbl 0912.68060Schmidt Schauß，曼弗雷德 5 1998 关于具有共享的高阶计算的泛型上下文引理。 Zbl 1191.68165Schmidt Schauß，曼弗雷德;萨贝尔，大卫 5 2010 论等式理论、统一性和可判定性。 Zbl 0638.68102Bürckert，Hans-Jürgen;赫罗德，亚历山大;Schmidt Schauß，曼弗雷德 5 1987 需要lambda演算的非确定性调用。 Zbl 1369.68106库兹纳，阿恩;Schmidt Schauß，曼弗雷德 5 1997 有界二阶统一的可判定性。 Zbl 1078.68139Schmidt Schauß，曼弗雷德 4 2004 线性和分层上下文匹配问题的复杂性。 Zbl 1061.68179Schmidt Schauß，曼弗雷德;斯图伯，Jürgen 4 2004 一致左线性项重写系统的模终止。 Zbl 0874.68159Schmidt Schauß，曼弗雷德;马希奥里，马西莫;帕尼茨，斯文·埃里克 4 1995 问题一角：狮子和独角兽。 京保0616.68077奥巴赫，H.J。;施密特·施劳斯，M。 4 1985 原子变量的名义统一。 Zbl 1395.68096Schmidt Schauß，曼弗雷德;萨贝尔，大卫;库茨，尤努斯D.K。 4 2019 语法压缩树中的参数约简。 Zbl 1234.68182号洛里，马库斯;曼尼思，塞巴斯蒂安;Schmidt Schauß，曼弗雷德 三 2009 有界二阶统一与分层语境统一的复杂性。 Zbl 1252.68160号利维，乔迪;Schmidt Schauß，曼弗雷德;维拉雷特，马修 三 2011 直线压缩字符串的快速相等性检验。 Zbl 1243.68324Schmidt Schauß，曼弗雷德;施尼格，乔治 三 2012 单侧分配与乘法单位理论中统一的可判定性。 Zbl 0865.68065Schmidt Schauß，曼弗雷德 三 1996 观测程序计算和翻译的正确性。 Zbl 1309.68052Schmidt Schauß，曼弗雷德;萨贝尔，大卫;尼伦，约阿希姆;施温哈默，简 三 2015 扩展α等价性和复杂性的算法。 Zbl 1356.68046Schmidt Schauß，曼弗雷德;罗，康拉德;萨贝尔，大卫 三 2011 用letrec计算的复制正确性。 Zbl 1203.68032Schmidt Schauß，曼弗雷德 2 2007 用letrec实现非确定性需求lambda演算中应用模拟和可扩展性的反例。 Zbl 1260.68075Schmidt Schauß，曼弗雷德;萨贝尔，大卫;马奇卡索娃，埃琳娜 2 2011 使用letrec、case、构造函数和seq在按需调用lambda演算中进行模拟。 Zbl 1352.68123号Schmidt Schauß，曼弗雷德;萨贝尔，大卫;马奇卡索娃，埃琳娜 2 2015 一元二阶统一是NP完全的。 Zbl 1187.68278号利维，乔迪;Schmidt Schauß，曼弗雷德;维拉雷特，马修 2 2004 用letrec模拟按需调用lambda演算。 Zbl 1236.68148施密特·施劳斯，曼弗雷德;萨贝尔，大卫;马奇卡索娃，埃琳娜 2 2010 作为终止问题的程序转换的正确性。 Zbl 1358.68076罗，康拉德;萨贝尔，大卫;Schmidt Schauß，曼弗雷德 2 2012 一元PCF中行为等价的可判定性。 Zbl 0914.68125Schmidt Schauß，曼弗雷德 2 1999 有界高阶匹配的可判定性。 Zbl 1278.68281号Schmidt Schauß，曼弗雷德 2 2003 一元二阶统一的复杂性。 Zbl 1166.03004号利维，乔迪;Schmidt Schauß，曼弗雷德;维拉雷特，马修 2 2008 与单例树语法的统一。 Zbl 1242.68132加森，阿德里;哥多，吉勒姆;Schmidt Schauß，曼弗雷德 2 2009 具有声明的多排序演算中的统一。 Zbl 0615.68061Schmidt Schauß，曼弗雷德 2 1986 STM Haskell实现的正确性。 Zbl 1323.68154Schmidt Schauß，曼弗雷德;萨贝尔，大卫 2 2013 一个上下文变量的上下文统一。 Zbl 1192.68431加森，阿德里;哥多，吉勒姆;Schmidt Schauß，曼弗雷德;蒂瓦里，阿什什 2 2010 may、should和must的闭包在上下文等价性中收敛。 Zbl 1209.68308Schmidt Schauß，曼弗雷德;萨贝尔，大卫 2 2010 广义名义统一重写。 Zbl 07283034号库兹，尤努斯;Schmidt Schauß，曼弗雷德 2 2020 扩展Abramsky的lazy lambda演算：（非）-嵌入的保守性。 Zbl 1356.68037Schmidt Schauß，曼弗雷德;马奇卡索娃，埃琳娜;萨贝尔，大卫 2 2011 原子和上下文变量的名义统一。 Zbl 1462.68026Schmidt Schauß，曼弗雷德;萨贝尔，大卫 2 2018 有界高阶统一的可判定性。 Zbl 1126.03017Schmidt Schauß，曼弗雷德;舒尔茨，克劳斯U。 1 2005 在无限非严格数据结构上确定集合常数的包含。 Zbl 1146.68353施密特·施劳斯;曼弗雷德;萨贝尔，大卫;舒茨，马尔科 1 2007 多项式时间压缩项的同余闭包。 Zbl 1348.68085施密特·施劳斯，曼弗雷德;萨贝尔，大卫;阿尼斯，阿尔图 1 2011 在PSPACE中实现了分层上下文统一。 Zbl 0999.03008Schmidt Schauß，曼弗雷德 1 2001 具有乘法单位的单侧分配下的统一。 Zbl 0793.68140Schmidt Schauß，曼弗雷德 1 1993 具有两个上下文变量的上下文方程的可解性是可判定的。 Zbl 0941.68070Schmidt Schauß，曼弗雷德;舒尔茨，克劳斯U。 1 1999 相似性意味着在一类非确定性的按需调用lambda演算中的等价性。 Zbl 1187.68129号曼恩，马提亚斯;Schmidt Schauß，曼弗雷德 1 2010 有界高阶统一的可判定性。 Zbl 1021.03004号Schmidt Schauß，曼弗雷德;舒尔茨，克劳斯U。 1 2002 非确定性调用中的有限模拟方法，包含letrec、构造函数和case。 Zbl 1145.68377施密特·施劳斯，曼弗雷德;马奇卡索娃，埃琳娜 1 2008 观察圆周率微积分的成功。 Zbl 1428.68206萨贝尔，大卫;Schmidt Schauß，曼弗雷德 1 2015 允许部分函数的严格函数程序性质的二值逻辑。 兹布1267.68088萨贝尔，大卫;Schmidt Schauß，曼弗雷德 1 2013 广义名义统一重写。 Zbl 07283034号库兹，尤努斯;Schmidt Schauß，曼弗雷德 2 2020 原子变量的名义统一。 Zbl 1395.68096Schmidt Schauß，曼弗雷德;萨贝尔，大卫;库茨，尤努斯D.K。 4 2019 原子和上下文变量的名义统一。 Zbl 1462.68026Schmidt Schauß，曼弗雷德;萨贝尔，大卫 2 2018 高阶表达式与递归let的名义统一。 Zbl 06791234Schmidt Schauß，曼弗雷德;特穆尔库兹亚;利维，乔迪;维拉雷特，马修 7 2017 观测程序计算和翻译的正确性。 Zbl 1309.68052Schmidt Schauß，曼弗雷德;萨贝尔，大卫;尼伦，约阿希姆;施温哈默，简 三 2015 使用letrec、case、构造函数和seq在按需调用lambda演算中进行模拟。 Zbl 1352.68123号Schmidt Schauß，曼弗雷德;萨贝尔，大卫;马奇卡索娃，埃琳娜 2 2015 观察圆周率微积分的成功。 Zbl 1428.68206萨贝尔，大卫;Schmidt Schauß，曼弗雷德 1 2015 STM Haskell实现的正确性。 Zbl 1323.68154Schmidt Schauß，曼弗雷德;萨贝尔，大卫 2 2013 允许部分函数的严格函数程序性质的二值逻辑。 兹布1267.68088萨贝尔，大卫;Schmidt Schauß，曼弗雷德 1 2013 文法压缩树的参数约简与自动机评估。 Zbl 1246.68114洛里，马库斯;曼尼思，塞巴斯蒂安;Schmidt Schauß，曼弗雷德 15 2012 Haskell中的保守并发。 Zbl 1361.68049萨贝尔，大卫;Schmidt Schauß，曼弗雷德 6 2012 直线压缩字符串的快速相等性检验。 Zbl 1243.68324Schmidt Schauß，曼弗雷德;施尼格，乔治 三 2012 作为终止问题的程序转换的正确性。 Zbl 1358.68076罗，康拉德;萨贝尔，大卫;Schmidt Schauß，曼弗雷德 2 2012 压缩项的统一与匹配。 Zbl 1351.68128号加森，阿德里;哥多，吉勒姆;施密特·施劳斯，曼弗雷德 7 2011 有界二阶统一与分层语境统一的复杂性。 Zbl 1252.68160号利维，乔迪;Schmidt Schauß，曼弗雷德;维拉雷特，马修 三 2011 扩展α等价性和复杂性的算法。 Zbl 1356.68046Schmidt Schauß，曼弗雷德;罗，康拉德;萨贝尔，大卫 三 2011 用letrec实现非确定性需求lambda演算中应用模拟和可扩展性的反例。 Zbl 1260.68075Schmidt Schauß，曼弗雷德;萨贝尔，大卫;马奇卡索娃，埃琳娜 2 2011 扩展Abramsky的lazy lambda演算：（非）-嵌入的保守性。 Zbl 1356.68037Schmidt Schauß，曼弗雷德;马奇卡索娃，埃琳娜;萨贝尔，大卫 2 2011 多项式时间压缩项的同余闭包。 Zbl 1348.68085施密特·施劳斯，曼弗雷德;萨贝尔，大卫;阿尼斯，阿尔图 1 2011 关于具有共享的高阶计算的泛型上下文引理。 Zbl 1191.68165Schmidt Schauß，曼弗雷德;萨贝尔，大卫 5 2010 用letrec模拟按需调用lambda演算。 Zbl 1236.68148施密特·施劳斯，曼弗雷德;萨贝尔，大卫;马奇卡索娃，埃琳娜 2 2010 一个上下文变量的上下文统一。 Zbl 1192.68431加森，阿德里;哥多，吉勒姆;Schmidt Schauß，曼弗雷德;蒂瓦里，阿什什 2 2010 may、should和must的闭包在上下文等价性中收敛。 Zbl 1209.68308Schmidt Schauß，曼弗雷德;萨贝尔，大卫 2 2010 相似性意味着在一类非确定性的按需调用lambda演算中的等价性。 Zbl 1187.68129号曼恩，马提亚斯;Schmidt Schauß，曼弗雷德 1 2010 语法压缩树中的参数约简。 Zbl 1234.68182号洛里，马库斯;曼尼思，塞巴斯蒂安;Schmidt Schauß，曼弗雷德 三 2009 与单例树语法的统一。 Zbl 1242.68132加森，阿德里;哥多，吉勒姆;Schmidt Schauß，曼弗雷德 2 2009 一种局部下避选择的按需lambda演算：上下文引理与变换正确性。 Zbl 1153.68011萨贝尔，大卫;施密特·施劳斯，曼弗雷德 8 2008 Nöcker严格性分析的安全性。 Zbl 1153.68012施密特·施劳斯，曼弗雷德;萨贝尔，大卫;舒茨，马尔科 8 2008 一元二阶统一的复杂性。 Zbl 1166.03004号利维，乔迪;Schmidt Schauß，曼弗雷德;维拉雷特，马修 2 2008 非确定性调用中的有限模拟方法，包含letrec、构造函数和case。 Zbl 1145.68377施密特·施劳斯，曼弗雷德;马奇卡索娃，埃琳娜 1 2008 具有参考单元和未来的并发lambda演算的观察语义。 Zbl 1316.68034尼伦，约阿希姆;萨贝尔，大卫;Schmidt Schauß，曼弗雷德;施温哈默，简 8 2007 用letrec计算的复制正确性。 Zbl 1203.68032Schmidt Schauß，曼弗雷德 2 2007 在无限非严格数据结构上确定集合常数的包含。 Zbl 1146.68353施密特·施劳斯;曼弗雷德;萨贝尔，大卫;舒茨，马尔科 1 2007 有界二阶统一是NP完全的。 Zbl 1151.68450利维，乔迪;Schmidt Schauß，曼弗雷德;维拉雷特，马修 6 2006 分层语境统一是NP完全的。 Zbl 1196.68112利维，乔迪;Schmidt Schauß，曼弗雷德;维拉雷特，马修 5 2006 有界高阶统一的可判定性。 Zbl 1126.03017Schmidt Schauß，曼弗雷德;舒尔茨，克劳斯U。 1 2005 有界二阶统一的可判定性。 Zbl 1078.68139Schmidt Schauß，曼弗雷德 4 2004 线性和分层上下文匹配问题的复杂性。 Zbl 1061.68179Schmidt Schauß，曼弗雷德;斯图伯，Jürgen 4 2004 一元二阶统一是NP完全的。 Zbl 1187.68278号利维，乔迪;Schmidt Schauß，曼弗雷德;维拉雷特，马修 2 2004 有界高阶匹配的可判定性。 Zbl 1278.68281号Schmidt Schauß，曼弗雷德 2 2003 一种分层上下文统一的决策算法。 Zbl 1019.03002Schmidt Schauß，曼弗雷德 8 2002 具有两个上下文变量的上下文方程的可解性是可判定的。 Zbl 1017.68165Schmidt Schauß，曼弗雷德;舒尔茨，克劳斯U。 7 2002 有界高阶统一的可判定性。 Zbl 1021.03004号Schmidt Schauß，曼弗雷德;舒尔茨，克劳斯U。 1 2002 在PSPACE中实现了分层上下文统一。 Zbl 0999.03008Schmidt Schauß，曼弗雷德 1 2001 一元PCF中行为等价的可判定性。 Zbl 0914.68125Schmidt Schauß，曼弗雷德 2 1999 具有两个上下文变量的上下文方程的可解性是可判定的。 Zbl 0941.68070Schmidt Schauß，曼弗雷德;舒尔茨，克劳斯U。 1 1999 关于上下文方程最小解的周期指数。 Zbl 0901.03034Schmidt Schauß，曼弗雷德;舒尔茨，克劳斯U。 6 1998 一种分配统一的决策算法。 Zbl 0912.68060Schmidt Schauß，曼弗雷德 5 1998 需要lambda演算的非确定性调用。 Zbl 1369.68106库兹纳，阿恩;Schmidt Schauß，曼弗雷德 5 1997 单侧分配与乘法单位理论中统一的可判定性。 Zbl 0865.68065Schmidt Schauß，曼弗雷德 三 1996 一致左线性项重写系统的模终止。 Zbl 0874.68159Schmidt Schauß，曼弗雷德;马希奥里，马西莫;帕尼茨，斯文·埃里克 4 1995 具有乘法单位的单侧分配下的统一。 Zbl 0793.68140Schmidt Schauß，曼弗雷德 1 1993 用补语描述定语概念。 Zbl 0712.68095Schmidt Schauß，曼弗雷德;斯摩卡，格特 85 1991 由任意不相交的方程理论组合而成的统一。 Zbl 0691.03003Schmidt Schauß，曼弗雷德 28 1989 具有术语声明的有序排序逻辑的计算方面。 Zbl 0689.68001施密特·施劳斯，曼弗雷德 27 1989 KL-ONE中的包含是不可判定的。 Zbl 0709.68096Schmidt Schauß，曼弗雷德 12 1989 布尔环与交换群的统一。 Zbl 0689.68040布德特，亚历山德拉;朱安娜，让·皮埃尔;施密特·施劳斯，曼弗雷德 11 1989 论等式理论、统一性和（不）可判定性。 Zbl 0684.03004Bürckert，Hans-Jürgen;赫罗德，亚历山大;施密特·施劳斯，曼弗雷德 6 1989 置换方程理论中的统一是不可判定的。 Zbl 0684.03019施密特·施劳斯，曼弗雷德 6 1989 从句的含意是不可判定的。 Zbl 0657.03006施密特·施劳斯，曼弗雷德 10 1988 由任意不相交的方程理论组合而成的统一。 Zbl 0661.68092Schmidt Schauß，曼弗雷德 7 1988 论等式理论、统一性和可判定性。 Zbl 0638.68102Bürckert，Hans-Jürgen;赫罗德，亚历山大;Schmidt Schauß，曼弗雷德 5 1987 结合性和幂等性下的统一是无效类型。 Zbl 0626.68069Schmidt Schauß，曼弗雷德 13 1986 许多分类等式理论中的统一。 Zbl 0643.68138施密特·施劳斯，曼弗雷德 8 1986 具有声明的多排序演算中的统一。 Zbl 0615.68061Schmidt Schauß，曼弗雷德 2 1986 问题一角：狮子和独角兽。 京保0616.68077奥巴赫，H.J。;施密特·施劳斯，M。 4 1985 所有引用出版物 被引用的前5名出版物 全部的 前5名被357位作者引用 32 Schmidt Schauß，曼弗雷德 19 巴德尔，弗兰兹 14 萨贝尔，大卫 10 洛里，马库斯 9 曼尼思，塞巴斯蒂安 8 梅斯盖尔·瓜伊塔，何塞 7 斯特拉西亚，翁贝托 6 姜，运城 6 纳特，沃纳 5 波比罗，费尔南多 5 Bürckert，Hans Jürgen 5 多尼尼，弗朗西斯科M。 5 培纳洛扎，拉斐尔 5 林格森，克里斯托夫 4 阿普特，玛里亚 4 毛里西奥·阿亚拉·林克翁 4 埃尔巴特，塞尔达尔 4 圣地亚哥埃斯科巴 4 费尔南德斯，玛丽贝尔 4 霍洛德，伯恩哈德 4 肯，卡内瓦 4 特穆尔库兹亚 4 库茨，尤努斯D.K。 4 伦泽里尼，毛里齐奥 4 马歇尔，安德鲁M。 4 尼伦，约阿希姆 4 舒尔茨，克劳斯U。 4 斯摩卡，格特 4 索布里尼奥，丹尼尔南特 4 唐素琴 4 唐勇 4 蒂内利，塞萨尔 4 王，菊 4 维登巴赫，克里斯托夫 三 陈其迈 三 德卡瓦略·塞贡多，华盛顿 三 加森，阿德里 三 哥多，吉勒姆 三 霍洛克斯，伊恩 三 基什内尔，克劳德 三 利维，乔迪 三 卢茨，卡斯滕 三 马希奥里，马西莫 三 纳迪，丹尼尔 三 纳伦德兰，佩利思 三 内贝尔，伯恩哈德 三 诺思，埃里克 三 钱振宇 三 俄罗斯女巫，米夏埃尔 三 萨特勒，乌尔里克 三 施密特，雷诺A。 三 施耐德，托马斯 三 陶，贾 三 维拉雷特，马修 2 Akshay，S。 2 布兰切特，贾斯敏·克里斯蒂安 2 博格沃德，斯特凡 2 布德特，亚历山德拉 2 布林克，克里斯 2 加尔瓦内斯，迭戈 2 查克拉波蒂，上提克 2 骑士，亚尼克 2 Cuenca Ortega，天使 2 贾科莫，朱塞佩 2 Demri，Stéphane P。 2 伊希尼姆，姆纳乔 2 埃克伦德，帕特里克·E。 2 恩格尔弗里特，乔斯特 2 加纳迪，摩西 2 吉文，罗伯特L。 2 Goguen，约瑟夫·阿马迪 2 格雷姆利克，伯恩哈德 2 汉施克，菲利普 2 亨利奥，卢多维奇 2 赫尔曼，米奇 2 海曼斯，斯蒂恩 2 你好，迈克尔 2 霍纳瓦尔，瓦桑特 2 哈克，丹尼 2 杰伊，阿图尔 2 朱安娜，让·皮埃尔 2 基什内尔，Hélène 2 科莱蒂斯，Phokion G。 2 利普曼，马塞尔 2 马萨奇，法比奥 2 麦卡莱斯特，大卫艾伦 2 梅尔，阿恩 2 尼普科，托比亚斯 2 奥尔巴赫，汉斯·Jürgen 2 帕特尔施耐德，彼得F。 2 彼得尼克，费边 2 雷恩，卡尔·菲利普 2 舍尔夫，安德里亚 2 舒茨，马尔科 2 施温哈默，简 2 沙阿，谢塔 2 斯鲁茨基，乔拉 2 提瓦里，阿希什·库马尔 2 图雷特，索菲 2 特雷宁，拉尔夫 ...还有257位作者 全部的 前5名在52个系列中被引用 30 理论计算机科学 22 人工智能 20 符号计算杂志 19 信息与计算 19 自动推理杂志 9 信息处理信函 8 MSCS公司。计算机科学中的数学结构 7 计算机与系统科学杂志 6 计算机与数学及其应用 5 模糊集与系统 5 数学与人工智能年鉴 5 应用逻辑杂志 4 信息科学 4 国际近似推理杂志 4 应用非经典逻辑杂志 三 符号逻辑杂志 三 新一代计算 三 计算系统理论 2 信息学报 2 算法 2 工程、通信和计算中的应用代数 2 函数程序设计杂志 2 计算机基础理论 2 计算机科学中的逻辑方法 1 拓扑结构与几何差异 1 代数杂志 1 哲学逻辑杂志 1 半群论坛 1 逻辑研究 1 计算机程序设计学 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 国际智能系统杂志 1 数学与计算机建模 1 计算的形式化方面 1 运筹学年鉴 1 机器学习 1 控制论与系统分析 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 国际计算机与系统科学杂志 1 高阶与符号计算 1 国际应用数学与计算机科学杂志 1 雷罗。理论信息学与应用 1 洛巴切夫斯基数学杂志 1 国际不确定性、模糊性与知识系统杂志 1 逻辑与代数程序设计杂志 1 逻辑与逻辑哲学 1 逻辑程序设计理论与实践 1 计算逻辑学报 1 中国计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在11个领域被引用 244 计算机科学（68-XX） 100 数理逻辑与基础（03-XX） 7 一般代数系统（08-XX） 4 范畴论；同调代数（18-XX） 4 群论与推广（20-XX） 三 序，格，有序代数结构（06-XX） 三 信息与通信理论，电路（94-XX） 2 结合环与代数（16-XX） 2 博弈论、经济学、金融学和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 统计学（62-XX） 按年份列出的引文