编辑配置文件（在新选项卡中打开） 曼弗雷德·施密特·沙乌 合著者距离 作者ID： 施密特-肖斯-马弗雷德 发布日期： 曼弗雷德·施密特·沙乌;曼弗雷德·施密特·肖斯;施密特·肖斯，M。 更多。。。较少的 外部链接： MGP公司 已编制索引的文档： 84出版物自1985年以来，包括1本书 2作为编辑的贡献 合著者： 34位合著者具有61联合出版物 516位合作作者 全部的 前5名合著者 25 单作者的 26 大卫·萨贝尔 7 约尔迪·利维 7 马图·维拉雷特 5 埃琳娜·马奇卡索娃 5 克劳斯·舒尔茨。 4 阿德里亚·加斯科恩 4 尤努斯·库茨。 4 马库斯·洛伊 3 吉勒姆·戈多伊 2 比尔科特，汉斯·尤根 2 千叶，Yuki 2 亚历山大·赫罗德 2 特默尔库西亚 2 阿恩·库兹纳 2 塞巴斯蒂安·马内思 2 约阿希姆·尼伦 2 劳，康拉德 2 马可·舒茨 2 施温哈默，Jan 2 阿什什·库马尔·蒂瓦里 1 阿尼斯，阿尔图 1 亚历山大·布代特 1 圣地亚哥埃斯科瓦尔 1 Jean-Pierre Jouannaud 1 Kim，Pok-Son先生 1 马蒂亚斯·曼恩 1 马西莫·马尔奇奥里 1 直纪西田 1 汉斯·尤根·奥巴赫 1 斯文·埃里克·帕尼茨 1 Masahiko酒井 1 格奥尔格·施尼格尔 1 格特·斯莫尔卡 1 于尔根·斯图伯 全部的 前5名系列 9 符号计算杂志 6 理论计算机科学 3 信息处理信件 3 自动推理杂志 3 MSCS公司。计算机科学中的数学结构 2 信息与计算 2 计算系统理论 2 OASIcs–信息学中的OpenAccess系列 1 人工智能 1 计算机与系统科学杂志 1 SIAM计算机杂志 1 逻辑与计算杂志 1 函数编程杂志 1 IGPL逻辑杂志 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 81 计算机科学（68至XX） 27 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 2 一般代数系统（08-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 1 有序，格，有序代数结构（06-XX） 1 群论与推广（20-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 72出版物有被引用518中的次330文件 引用人▼ 年份▼ 带有补语的定语概念描述。 Zbl 0712.68095号 曼弗雷德·施密特·沙乌;格特·斯莫尔卡 93 1991 带有术语声明的顺序逻辑的计算方面。 Zbl 0689.68001号 曼弗雷德·施密特·肖斯 38 1989 任意不相交等式理论的组合中的统一。 Zbl 0691.03003号 曼弗雷德·施密特·沙乌 38 1989 语法压缩树的参数约简和自动机求值。 Zbl 1246.68114号 马库斯·洛伊;塞巴斯蒂安·马内思;曼弗雷德·施密特·沙乌 18 2012 结合性和幂等性下的统一是nullary型的。 Zbl 0626.68069号 曼弗雷德·施密特·沙乌 17 1986 用递归let实现高阶表达式的名义统一。 Zbl 1485.68074号 曼弗雷德·施密特·沙乌;特默尔库西亚;约尔迪·利维;马图·维拉雷特 16 2017 KL-ONE中的沉没是不可判定的。 兹比尔0709.68096 曼弗雷德·施密特·沙乌 14 1989 诺克严格性分析的安全性。 Zbl 1153.68012号 曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 13 2008 在方程式理论上，统一性和可判定性。 Zbl 0638.68102号 汉斯·尤根·伯克特;亚历山大·赫罗德;曼弗雷德·施密特·沙乌 12 1987 布尔环和阿贝尔群的统一。 Zbl 0689.68040号 亚历山大·布代特;Jean-Pierre Jouannaud;曼弗雷德·施密特·肖斯 12 1989 任意不相交等式理论的组合中的统一。 兹比尔0661.68092 曼弗雷德·施密特·沙乌 10 1988 子句的含义是不可确定的。 Zbl 0657.03006号 曼弗雷德·施密特·肖斯 10 1988 关于方程理论、统一性和（不）可判定性。 Zbl 0684.03004号 汉斯·尤根·伯克特;亚历山大·赫罗德;曼弗雷德·施密特·肖斯 10 1989 多种等式理论的统一。 Zbl 0643.68138号 曼弗雷德·施密特·肖斯 10 1986 具有局部自底避免选择的按需调用lambda演算：上下文引理和转换的正确性。 兹比尔1153.68011 大卫·萨贝尔;曼弗雷德·施密特·肖斯 10 2008 关于上下文方程最小解的周期性指数。 Zbl 0901.03034号 曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 9 1998 置换方程理论中的统一是不可判定的。 Zbl 0684.03019号 曼弗雷德·施密特·肖斯 8 1989 压缩术语的统一和匹配。 Zbl 1351.68128号 阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·肖斯 8 2011 带有参考单元格和期货的并发lambda演算的观察语义。 Zbl 1316.68034号 约阿希姆·尼伦;大卫·萨贝尔;曼弗雷德·施密特·沙乌;施温哈默，Jan 8 2007 分层上下文统一的决策算法。 Zbl 1019.03002号 曼弗雷德·施密特·沙乌 8 2002 关于具有共享的高阶计算的一般上下文引理。 Zbl 1191.68165号 曼弗雷德·施密特·沙乌;大卫·萨贝尔 7 2010 具有两个上下文变量的上下文方程的可解性是可判定的。 兹伯利1017.68165 曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 7 2002 一种非确定性的按需调用lambda演算。 Zbl 1369.68106号 阿恩·库兹纳;曼弗雷德·施密特·沙乌 7 1997 原子变量的名义统一。 Zbl 1395.68096号 曼弗雷德·施密特·沙乌;大卫·萨贝尔;尤努斯·库茨。 7 2019 单边分配和乘法单位理论中统一的决定性。 Zbl 0865.68065号 曼弗雷德·施密特·沙乌 6 1996 一种用于分布式统一的决策算法。 Zbl 0912.68060号 曼弗雷德·施密特·沙乌 6 1998 Haskell中的保守并发。 Zbl 1361.68049号 大卫·萨贝尔;曼弗雷德·施密特·沙乌 6 2012 有界二阶统一是NP-完全的。 Zbl 1151.68450号 约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 6 2006 一致和左线项重写系统的模终止。 Zbl 0874.68159号 曼弗雷德·施密特·沙乌;马西莫·马尔奇奥里;斯文·埃里克·帕尼茨 5 1995 分层上下文统一是NP完成的。 Zbl 1196.68112号 约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 5 2006 一元二阶统一的复杂性。 兹比尔1166.03004 约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 4 2008 线性和分层上下文匹配问题的复杂性。 Zbl 1061.68179号 曼弗雷德·施密特·沙乌;于尔根·斯图伯 4 2004 有界二阶统一的判定性。 Zbl 1078.68139号 曼弗雷德·施密特·沙乌 4 2004 问题角：狮子和独角兽。 Zbl 0616.68077号 霍尔巴赫，H.J。;Schmidt Schauss，M。 4 1985 直线压缩管柱的快速相等测试。 Zbl 1243.68324号 曼弗雷德·施密特·沙乌;格奥尔格·施尼格尔 4 2012 用广义名词统一重写。 Zbl 1495.68115号 尤努斯·库茨;曼弗雷德·施密特·沙乌 4 2020 语法压缩树中的参数缩减。 兹比尔12346.8182 马库斯·洛伊;塞巴斯蒂安·马内思;曼弗雷德·施密特·沙乌 3 2009 扩展Abramsky的惰性lambda演算：嵌入的（非）保守性。 Zbl 1356.68037号 曼弗雷德·施密特·沙乌;埃琳娜·马奇卡索娃;大卫·萨贝尔 3 2011 扩展字母等效性和复杂性的算法。 Zbl 1356.68046号 曼弗雷德·施密特·沙乌;康拉德·劳;大卫·萨贝尔 3 2011 观察程序计算和翻译的正确性。 Zbl 1309.68052号 曼弗雷德·施密特·沙乌;大卫·萨贝尔;约阿希姆·尼伦;施温哈默，Jan 3 2015 关于有界二阶统一和分层上下文统一的复杂性。 Zbl 1252.68160号 约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 3 2011 原子和上下文变量的名义统一。 Zbl 1462.68026号 曼弗雷德·施密特·沙乌;大卫·萨贝尔 3 2018 分布式统一的算法。 Zbl 1503.03020号 曼弗雷德·施密特·沙乌 3 1996 用乘法单位在单边分配下的统一。 Zbl 0793.68140号 曼弗雷德·施密特·沙乌 2 1993 有界高阶统一的判定性。 Zbl 1126.03017号 曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 2 2005 letrec计算中副本的正确性。 Zbl 1203.68032号 曼弗雷德·施密特·沙乌 2 2007 具有两个上下文变量的上下文方程的可解性是可判定的。 Zbl 0941.68070号 曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 2 1999 一元PCF中行为等效性的判定。 Zbl 0914.68125号 曼弗雷德·施密特·沙乌 2 1999 多项式时间内压缩项的同余闭包。 Zbl 1348.68085号 曼弗雷德·施密特·肖斯;大卫·萨贝尔;阿尼斯，阿尔图 2 2011 一元二阶统一是NP-完全的。 Zbl 1187.68278号 约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 2 2004 与单例树语法的统一。 Zbl 1242.68132号 阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌 2 2009 压缩模式与字符变量的匹配。 Zbl 1437.68209号 曼弗雷德·施密特·沙乌 2 2012 用letrec模拟按需调用lambda-calculus。 Zbl 1236.68148号 曼弗雷德·施密特·肖斯;大卫·萨贝尔;埃琳娜·马奇卡索娃 2 2010 具有letrec、构造函数和case的非确定性按需调用lambda-calculus中的有限模拟方法。 Zbl 1145.68377号 曼弗雷德·施密特·肖斯;埃琳娜·马奇卡索娃 2 2008 与一个上下文变量的上下文统一。 Zbl 1192.68431号 阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌;蒂瓦里，阿什 2 2010 为实现上下文对等，关闭可能、应该和必须的收敛。 Zbl 1209.68308号 曼弗雷德·施密特·沙乌;大卫·萨贝尔 2 2010 算术有界高阶匹配的可判定性。 Zbl 1278.68281号 曼弗雷德·施密特·沙乌 2 2003 STM Haskell实现的正确性。 Zbl 1323.68154号 曼弗雷德·施密特·沙乌;大卫·萨贝尔 2 2013 使用letrec、case、构造函数和seq在按需调用lambda-calculus中进行模拟。 Zbl 1352.68123号 曼弗雷德·施密特·沙乌;大卫·萨贝尔;埃琳娜·马奇卡索娃 2 2015 用声明统一多分类演算。 Zbl 0615.68061号 曼弗雷德·施密特·沙乌 2 1986 程序转换作为终止问题的正确性。 Zbl 1358.68076号 康拉德·劳;大卫·萨贝尔;曼弗雷德·施密特·沙乌 2 2012 使用letrec对非确定性call-by-need lambda-calculi中的应用模拟和扩展性进行反例。 Zbl 1260.68075号 曼弗雷德·施密特·沙乌;大卫·萨贝尔;埃琳娜·马奇卡索娃 2 2011 多项式重写的线性压缩模式匹配（扩展抽象）。 Zbl 1464.68145号 曼弗雷德·施密特·肖斯 2 2013 分层上下文统一在PSPACE中。 Zbl 0999.03008号 曼弗雷德·施密特·沙乌 1 2001 处理简洁的矩阵和向量。 Zbl 1378.68086号 马库斯·洛伊;曼弗雷德·施密特·沙乌 1 2014 允许部分函数的严格函数程序属性的二值逻辑。 Zbl 1267.68088号 大卫·萨贝尔;曼弗雷德·施密特·沙乌 1 2013 决定在无限非严格数据结构上包含集合常量。 Zbl 1146.68353号 曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 1 2007 相似性意味着在一类非确定的按需调用lambda计算中等价。 Zbl 1187.68129号 马蒂亚斯·曼恩;曼弗雷德·施密特·沙乌 1 2010 有界高阶统一的判定性。 Zbl 1021.03004号 曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 1 2002 压缩项的线性模式匹配和多项式重写。 Zbl 1398.68283号 曼弗雷德·施密特·沙乌 1 2018 观察pi-calculus的成功。 Zbl 1428.68206号 大卫·萨贝尔;曼弗雷德·施密特·沙乌 1 2015 用递归let实现高阶表达式的名义统一和匹配。 Zbl 07527238号 曼弗雷德·施密特·沙乌;特默尔库西亚;约尔迪·利维;马图·维拉雷特;尤努斯·库茨 1 2022 用递归let实现高阶表达式的名义统一和匹配。 Zbl 07527238号 曼弗雷德·施密特·沙乌;特默尔库西亚;约尔迪·利维;马图·维拉雷特;尤努斯·库茨 1 2022 用广义名词统一重写。 Zbl 1495.68115号 尤努斯·库茨;曼弗雷德·施密特·沙乌 4 2020 原子变量的名义统一。 Zbl 1395.68096号 曼弗雷德·施密特·沙乌;大卫·萨贝尔;尤努斯·库茨。 7 2019 原子和上下文变量的名义统一。 Zbl 1462.68026号 曼弗雷德·施密特·沙乌;大卫·萨贝尔 3 2018 压缩项的线性模式匹配和多项式重写。 Zbl 1398.68283号 曼弗雷德·施密特·沙乌 1 2018 用递归let实现高阶表达式的名义统一。 Zbl 1485.68074号 曼弗雷德·施密特·沙乌;特默尔库西亚;约尔迪·利维;马图·维拉雷特 16 2017 观察程序计算和翻译的正确性。 Zbl 1309.68052号 曼弗雷德·施密特·沙乌;大卫·萨贝尔;约阿希姆·尼伦;施温哈默，Jan 3 2015 使用letrec、case、构造函数和seq在按需调用lambda-calculus中进行模拟。 Zbl 1352.68123号 曼弗雷德·施密特·沙乌;大卫·萨贝尔;埃琳娜·马奇卡索娃 2 2015 观察pi-calculus的成功。 Zbl 1428.68206号 大卫·萨贝尔;曼弗雷德·施密特·沙乌 1 2015 处理简洁的矩阵和向量。 Zbl 1378.68086号 马库斯·洛伊;曼弗雷德·施密特·沙乌 1 2014 STM Haskell实现的正确性。 Zbl 1323.68154号 曼弗雷德·施密特·沙乌;大卫·萨贝尔 2 2013 多项式重写的线性压缩模式匹配（扩展抽象）。 兹比尔1464.68145 曼弗雷德·施密特·肖斯 2 2013 允许部分函数的严格函数程序属性的二值逻辑。 Zbl 1267.68088号 大卫·萨贝尔;曼弗雷德·施密特·沙乌 1 2013 语法压缩树的参数约简和自动机求值。 Zbl 1246.68114号 马库斯·洛伊;塞巴斯蒂安·马内思;曼弗雷德·施密特·沙乌 18 2012 Haskell中的保守并发。 Zbl 1361.68049号 大卫·萨贝尔;曼弗雷德·施密特·沙乌 6 2012 直线压缩管柱的快速相等测试。 Zbl 1243.68324号 曼弗雷德·施密特·沙乌;格奥尔格·施尼格尔 4 2012 压缩模式与字符变量的匹配。 Zbl 1437.68209号 曼弗雷德·施密特·沙乌 2 2012 程序转换作为终止问题的正确性。 Zbl 1358.68076号 康拉德·劳;大卫·萨贝尔;曼弗雷德·施密特·沙乌 2 2012 压缩术语的统一和匹配。 Zbl 1351.68128号 阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·肖斯 8 2011 扩展Abramsky的惰性lambda演算：嵌入的（非）保守性。 Zbl 1356.68037号 曼弗雷德·施密特·沙乌;埃琳娜·马奇卡索娃;大卫·萨贝尔 3 2011 扩展字母等效性和复杂性的算法。 Zbl 1356.68046号 曼弗雷德·施密特·沙乌;康拉德·劳;大卫·萨贝尔 3 2011 关于有界二阶统一和分层上下文统一的复杂性。 Zbl 1252.68160号 约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 3 2011 多项式时间中压缩项的同余闭包。 Zbl 1348.68085号 曼弗雷德·施密特·肖斯;大卫·萨贝尔;阿尼斯，阿尔图 2 2011 使用letrec对非确定性call-by-need lambda-calculi中的应用模拟和扩展性进行反例。 Zbl 1260.68075号 曼弗雷德·施密特·沙乌;大卫·萨贝尔;埃琳娜·马奇卡索娃 2 2011 关于具有共享的高阶计算的一般上下文引理。 Zbl 1191.68165号 曼弗雷德·施密特·沙乌;大卫·萨贝尔 7 2010 用letrec模拟按需调用lambda-calculus。 Zbl 1236.68148号 曼弗雷德·施密特·肖斯;大卫·萨贝尔;埃琳娜·马奇卡索娃 2 2010 与一个上下文变量的上下文统一。 Zbl 1192.68431号 阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌;蒂瓦里，阿什 2 2010 为实现上下文对等，关闭可能、应该和必须的收敛。 Zbl 1209.68308号 曼弗雷德·施密特·沙乌;大卫·萨贝尔 2 2010 相似性意味着在一类非确定的按需调用lambda计算中等价。 Zbl 1187.68129号 马蒂亚斯·曼恩;曼弗雷德·施密特·沙乌 1 2010 语法压缩树中的参数缩减。 Zbl 1234.68182号 马库斯·洛伊;塞巴斯蒂安·马内思;曼弗雷德·施密特·沙乌 3 2009 与单例树语法的统一。 Zbl 1242.68132号 阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌 2 2009 诺克严格性分析的安全性。 Zbl 1153.68012号 曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 13 2008 具有局部自底避免选择的按需调用lambda演算：上下文引理和转换的正确性。 Zbl 1153.68011号 大卫·萨贝尔;曼弗雷德·施密特·肖斯 10 2008 一元二阶统一的复杂性。 兹比尔1166.03004 约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 4 2008 具有letrec、构造函数和case的非确定性按需调用lambda-calculus中的有限模拟方法。 Zbl 1145.68377号 曼弗雷德·施密特·肖斯;埃琳娜·马奇卡索娃 2 2008 带有参考单元格和期货的并发lambda演算的观察语义。 Zbl 1316.68034号 约阿希姆·尼伦;大卫·萨贝尔;曼弗雷德·施密特·沙乌;施温哈默，Jan 8 2007 letrec计算中副本的正确性。 Zbl 1203.68032号 曼弗雷德·施密特·沙乌 2 2007 决定在无限非严格数据结构上包含集合常量。 Zbl 1146.68353号 曼弗雷德·施密特·肖斯;大卫·萨贝尔;马可·舒茨 1 2007 有界二阶统一是NP-完全的。 Zbl 1151.68450号 约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 6 2006 分层上下文统一是NP完成的。 Zbl 1196.68112号 约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 5 2006 有界高阶统一的判定性。 Zbl 1126.03017号 曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 2 2005 线性和分层上下文匹配问题的复杂性。 Zbl 1061.68179号 曼弗雷德·施密特·沙乌;于尔根·斯图伯 4 2004 有界二阶统一的判定性。 Zbl 1078.68139号 曼弗雷德·施密特·沙乌 4 2004 一元二阶统一是NP-完全的。 Zbl 1187.68278号 约尔迪·利维;曼弗雷德·施密特·沙乌;马图·维拉雷特 2 2004 算术有界高阶匹配的可判定性。 Zbl 1278.68281号 曼弗雷德·施密特·沙乌 2 2003 分层上下文统一的决策算法。 Zbl 1019.03002号 曼弗雷德·施密特·沙乌 8 2002 具有两个上下文变量的上下文方程的可解性是可判定的。 兹伯利1017.68165 曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 7 2002 有界高阶统一的判定性。 Zbl 1021.03004号 曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 1 2002 分层上下文统一在PSPACE中。 Zbl 0999.03008号 曼弗雷德·施密特·沙乌 1 2001 具有两个上下文变量的上下文方程的可解性是可判定的。 Zbl 0941.68070号 曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 2 1999 一元PCF中行为等效性的判定。 Zbl 0914.68125号 曼弗雷德·施密特·沙乌 2 1999 关于上下文方程最小解的周期性指数。 Zbl 0901.03034号 曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 9 1998 一种用于分布式统一的决策算法。 Zbl 0912.68060号 曼弗雷德·施密特·沙乌 6 1998 一种非确定性的按需调用lambda演算。 兹比尔1369.68106 阿恩·库兹纳;曼弗雷德·施密特·沙乌 7 1997 单边分配和乘法单位理论中统一的决定性。 Zbl 0865.68065号 曼弗雷德·施密特·沙乌 6 1996 分布式统一的算法。 Zbl 1503.03020号 曼弗雷德·施密特·沙乌 3 1996 一致和左线项重写系统的模终止。 Zbl 0874.68159号 曼弗雷德·施密特·沙乌;马西莫·马尔乔里;斯文·埃里克·帕尼茨 5 1995 用乘法单位在单边分配下的统一。 Zbl 0793.68140号 曼弗雷德·施密特·沙乌 2 1993 带有补语的定语概念描述。 Zbl 0712.68095号 曼弗雷德·施密特·沙乌;格特·斯莫尔卡 93 1991 带有术语声明的顺序逻辑的计算方面。 Zbl 0689.68001号 曼弗雷德·施密特·肖斯 38 1989 任意不相交等式理论的组合中的统一。 Zbl 0691.03003号 曼弗雷德·施密特·沙乌 38 1989 KL-ONE中的替换是不可决定的。 Zbl 0709.68096号 曼弗雷德·施密特·沙乌 14 1989 布尔环和阿贝尔群的统一。 Zbl 0689.68040号 亚历山大·布代特;Jean-Pierre Jouannaud;曼弗雷德·施密特·肖斯 12 1989 关于方程理论、统一性和（不）可判定性。 Zbl 0684.03004号 汉斯·尤根·伯克特;亚历山大·赫罗德;曼弗雷德·施密特·肖斯 10 1989 置换方程理论中的统一是不可判定的。 Zbl 0684.03019号 曼弗雷德·施密特·肖斯 8 1989 任意不相交等式理论的组合中的统一。 Zbl 0661.68092号 曼弗雷德·施密特·沙乌 10 1988 子句的含义是不可确定的。 Zbl 0657.03006号 曼弗雷德·施密特·肖斯 10 1988 在方程式理论上，统一性和可判定性。 Zbl 0638.68102号 汉斯·尤根·伯克特;亚历山大·赫罗德;曼弗雷德·施密特·沙乌 12 1987 结合性和幂等性下的统一是nullary型的。 Zbl 0626.68069号 曼弗雷德·施密特·沙乌 17 1986 多种等式理论的统一。 Zbl 0643.68138号 曼弗雷德·施密特·肖斯 10 1986 用声明统一多分类演算。 Zbl 0615.68061号 曼弗雷德·施密特·沙乌 2 1986 问题角：狮子和独角兽。 兹比尔0616.68077 霍尔巴赫，H.J。;施密特·肖斯，M。 4 1985 所有引用出版物 前5名被引用出版物 全部的 前5名399位作者引用 37 曼弗雷德·施密特·沙乌 27 弗兰兹·巴德 16 大卫·萨贝尔 12 马库斯·洛伊 9 塞巴斯蒂安·马内思 8 何塞·梅塞盖尔·瓜伊塔 8 沃纳·纳特 7 毛里西奥·阿亚拉·林科恩 7 玛丽贝尔·费尔南德斯 7 纳伦德兰，帕里斯 7 拉斐尔·佩尼亚洛萨 7 丹尼尔·南特，索布里尼奥 7 翁贝托·斯特拉契亚 6 比尔科特，汉斯·尤根 6 姜云成 6 特默尔库西亚 6 克劳斯·舒尔茨。 5 玛丽亚·阿尔普特 5 费尔南多·博比洛 5 弗朗西斯科·多尼尼。 5 圣地亚哥埃斯科瓦尔 5 约阿希姆·尼伦 5 托比亚斯·尼普科 5 钱振宇 5 克里斯托弗·林盖森 4 塞尔达尔·埃尔巴图尔 4 伯恩哈德·霍兰德 4 肯·卡内瓦 4 克洛德·基什内尔 4 尤努斯·库茨。 4 莫里齐奥·伦泽里尼 4 安德鲁·马歇尔。 4 格特·斯莫尔卡 4 唐素琴 4 唐勇 4 塞萨尔·蒂内利 4 王菊 4 克里斯托夫·韦登巴赫 3 亚历山大·布代特 3 陈启迈 3 华盛顿州，de Carvalho-Segundo 3 阿德里亚·加斯科恩 3 吉勒姆·戈多伊 3 伯恩哈德Gramlich 3 伊恩·霍洛克斯 3 Jean-Pierre Jouannaud 3 赫莱内·基什内尔 3 约尔迪·利维 3 卡斯滕·卢茨 3 马西莫·马尔奇奥里 3 丹尼尔·纳尔迪 3 伯恩哈德·内贝尔 3 埃里克·诺思 3 米歇尔·鲁西诺维奇 3 乌尔里克·萨特勒 3 Schmidt，Renate A。 3 托马斯·施耐德 3 加布里埃尔·费雷拉·席尔瓦 3 陶、贾 3 拉尔夫·特里宁 3 马图·维拉雷特 2 阿克西，S。 2 贾斯敏·克里斯蒂安·布兰切特 2 斯特凡·博格沃德 2 克里斯·布林克 2 迭戈·卡尔瓦内斯 2 Supratik查克拉博蒂 2 亚尼克·骑士 2 休伯特·科蒙 2 安吉尔·昆卡-奥尔特加 2 朱塞佩·德贾科莫 2 弗朗索瓦斯·德巴特 2 Stéphane P.德姆里。 2 Besik Dundua 2 穆纳乔·埃切宁 2 帕特里克·埃克隆德。 2 约斯特·恩格尔弗里特 2 帕特里斯·恩贾尔伯特 2 摩西·加纳尔迪 2 罗伯特·L·吉万。 2 约瑟夫·阿马迪·戈根 2 郭青 2 菲利普·汉斯克 2 卢多维奇·亨利奥 2 三木赫尔曼 2 斯迪恩·海曼斯 2 迈克尔·霍切 2 瓦桑特·霍纳瓦尔 2 哈克，丹尼 2 杰·阿图尔 2 帕特里夏·约翰 2 肯塔罗州菊池 2 迈克尔·科尔哈斯 2 Phokion G.科莱蒂斯。 2 马德琳·莱斯科特 2 马赛尔·利普曼 2 弗朗西丝卡·亚历山德拉（Francesca Alessandra Lisi） 2 埃琳娜·马奇卡索娃 2 乌苏拉·马丁 2 法比奥·马萨奇 …还有299位作者 全部的 前5名52篇连载文章被引用 33 理论计算机科学 24 人工智能 22 符号计算杂志 21 信息与计算 19 自动推理杂志 9 信息处理信件 8 MSCS公司。计算机科学中的数学结构 7 计算机与数学及其应用 7 计算机与系统科学杂志 5 模糊集与系统 5 数学与人工智能年鉴 5 应用逻辑杂志 4 信息科学 4 国际近似推理杂志 4 应用非经典逻辑杂志 3 信息学报 3 符号逻辑杂志 3 新一代计算 3 计算系统理论 2 算法 2 工程、通信和计算中的应用代数 2 函数编程杂志 2 计算机基础理论 2 逻辑程序设计理论与实践 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 代数杂志 1 哲学逻辑杂志 1 半群论坛 1 Studia Logica公司 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 国际智能系统杂志 1 数学和计算机建模 1 计算的形式方面 1 运筹学年鉴 1 机器学习 1 控制论与系统分析 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 国际计算机与系统科学杂志 1 高阶和符号计算 1 国际应用数学与计算机科学杂志 1 RAIRO公司。理论信息学及其应用 1 洛巴切夫斯基数学杂志 1 国际不确定性、模糊性和基于知识的系统杂志 1 逻辑与代数程序设计杂志 1 逻辑与逻辑哲学 1 ACM计算逻辑事务 1 中国计算机科学前沿 全部的 前5名11个领域引用 303 计算机科学（68至XX） 135 数学逻辑和基础（03-XX） 10 一般代数系统（08-XX） 5 范畴理论；同调代数（18-XX） 5 群论与推广（20-XX） 4 信息与通信理论、电路（94-XX） 3 有序，格，有序代数结构（06-XX） 3 结合环与代数（16-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 统计学（62-XX） 按年份列出的引文