编辑配置文件(在新选项卡中打开) 阿尔特·米德尔多普 合著者距离 作者ID: 中等艺术 发布日期: 阿尔特·米德尔多普;阿尔·米德尔多普;米德尔多普,A。 更多。。。较少的 主页: http://cl-informationk.uibk.ac.at/users/ami/ 外部链接: MGP公司 已编制索引的文档: 118出版物自1988年起 作为编辑的10份贡献 合著者: 57位合著者具有116联合出版物 620名合作作者 全部的 前5名合著者 12 单作者的 24 哈拉尔赞克尔 21 Nao Hirokawa 14 莎拉·温克勒 9 伯特伦·费尔根豪尔 7 弗里德里希·纽罗特 7 汉斯·赞特马 6 吉尔根·吉斯尔 6 克里斯蒂安·斯特纳格尔 5 大崎,Hitoshi 5 铃木、芋头 4 艾达、铁雄 4 马丁·科尔普 4 朱利安·纳格尔 三 艾琳·杜兰德。 三 阿尔芬斯·盖瑟 三 扬·威廉·克鲁普 三 栗原、Masahito 三 亚历山大·洛赫曼 三 埃诺·奥勒布什 三 佐藤奥奎 三 佐藤、晴彦 三 托马斯·斯特纳格尔 三 雷内·蒂曼 三 富山,吉藤义彦 2 塞尔吉奥·安托伊 2 罗德·德弗里杰尔 2 艾米·费尔蒂(Amy P.Felty)。 2 卡斯滕·福斯 2 伯恩哈德·格拉姆利希 2 穆罕默德·哈马达 2 克里斯蒂娜·科尔 2 辛西娅·科普 2 费比安·米特沃纳 2 格奥尔格·莫瑟 2 弗兰齐斯卡·拉普 2 大辅佐藤 2 彼得·施奈德·坎普 2 文森特·范·奥斯特罗姆 2 范·拉姆斯东克(Femke van Raamsdonk) 2 Akihisa山田 1 高仁青藤 1 尤尔根阿文豪斯 1 玛丽亚·费雷拉。 1 藤田,健毅 1 马科托·哈马纳 1 埃里克·哈蒙 1 迈克尔·哈纳斯 1 迪特尔·霍夫鲍尔 1 亚当·科普洛夫斯基 1 卡洛斯·洛里亚·萨恩斯 1 萨尔瓦多卢卡斯 1 肯尼思·麦克米兰。 1 直纪西田 1 Kiraku Shintani 1 安德烈·沃伦科夫 1 约翰内斯·沃尔德曼 1 山田,Toshiyuki 全部的 前5名系列 8 信息与计算 7 自动推理杂志 5 符号计算杂志 5 计算机科学课堂讲稿 4 理论计算机科学 三 RIMS Kokyuroku公司 三 计算机科学中的逻辑方法 2 信息处理信件 2 工程、通信和计算中的应用代数 2 函数与逻辑编程杂志 1 信息学报 1 逻辑科公报 1 CWI季度 1 函数编程杂志 1 数学与人工智能年鉴 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名字段 128 计算机科学(68-XX) 14 数学逻辑和基础(03-XX) 10 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 105出版物有被引用701中的次348文件 引用人▼ 年份▼ Tyrolean终止工具:技术和功能。 兹比尔1111.68048 Nao Hirokawa;阿尔特·米德尔多普 38 2007 用多项式解释进行终止分析的SAT求解。 Zbl 1214.68352号 卡斯滕·福斯;吉尔根·吉斯尔;阿尔特·米德尔多普;彼得·施奈德·坎普;雷内·蒂曼;哈拉尔赞克尔 34 2007 自动化依赖项对方法。 Zbl 1081.68038号 Nao Hirokawa;阿尔特·米德尔多普 32 2005 基本窄化的完整性结果。 Zbl 0810.68088号 阿尔特·米德尔多普;埃里克·哈蒙 29 1994 条件项重写系统的模性质。 Zbl 0804.68071号 阿尔特·米德尔多普 28 1993 重新访问依赖项对。 Zbl 1187.68275号 Nao Hirokawa;阿尔特·米德尔多普 22 2004 正交项重写系统中的序列性。 Zbl 0746.68047号 扬·威廉·克鲁普;阿尔特·米德尔多普 21 1991 上下文敏感重写系统的转换技术。 Zbl 1104.68056号 吉尔根·吉斯尔;阿尔特·米德尔多普 20 2004 使用树自动机技术近似依赖关系图。 Zbl 0988.68162号 阿尔特·米德尔多普 17 2001 建造系统组合的完整性。 Zbl 0778.68050号 阿尔特·米德尔多普;富山,吉藤义彦 16 1993 与正规形式相关的术语重写系统属性的模块化方面。 Zbl 1503.68137号 阿尔特·米德尔多普 15 1989 项重写系统的直和终止的一个充分条件。 Zbl 0716.68054号 阿尔特·米德尔多普 15 1989 最大终止。 Zbl 1145.68446号 卡斯滕·福斯;吉尔根·吉斯尔;阿尔特·米德尔多普;彼得·施奈德·坎普;雷内·蒂曼;哈拉尔赞克尔 14 2008 负系数多项式解释。 Zbl 1109.68501号 Nao Hirokawa;阿尔特·米德尔多普 14 2004 懒惰的缩小:强完整性和急切的变量消除。 Zbl 0874.68157号 阿尔特·米德尔多普;佐藤奥奎;艾达、铁雄 13 1996 Tyrolean端接工具。 Zbl 1078.68656号 Nao Hirokawa;阿尔特·米德尔多普 13 2005 非线性(ir)有理算法的可满足性。 Zbl 1310.68126号 哈拉尔赞克尔;阿尔特·米德尔多普 13 2010 递减图和相对终止。 Zbl 1243.68199号 Nao Hirokawa;阿尔特·米德尔多普 13 2011 简单的终止是困难的。 Zbl 0815.68064号 阿尔特·米德尔多普;伯恩哈德·格拉姆利希 12 1995 CSI–汇流工具。 Zbl 1341.68199号 哈拉尔赞克尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普 12 2011 重写系统的简单终止。 兹比尔0903.68106 阿尔特·米德尔多普;汉斯·赞特马 11 1997 强顺序和归纳顺序项重写系统。 Zbl 1339.68136号 迈克尔·哈纳斯;萨尔瓦多卢卡斯;阿尔特·米德尔多普 9 1998 策略和终止的近似值。 Zbl 1270.68132号 阿尔特·米德尔多普 9 2002 条件汇流(系统描述)。 Zbl 1416.68181号 托马斯·斯特纳格尔;阿尔特·米德尔多普 9 2014 汇流的模块性:一个简化的证明。 兹伯利0795.68111 扬·威廉·克鲁普;阿尔特·米德尔多普;富山,吉藤义彦;罗德·德弗里杰尔 8 1994 术语重写中可确定的按需调用计算。 Zbl 1101.68628号 艾琳·杜兰德;阿尔特·米德尔多普 8 2005 KBO定向能力。 Zbl 1184.68303号 哈拉尔赞克尔;Nao Hirokawa;阿尔特·米德尔多普 8 2009 不急于终止。 Zbl 1182.68094号 Nao Hirokawa;阿尔特·米德尔多普;哈拉尔赞克尔 7 2008 通过自标记转换终端。 Zbl 0939.68684号 玛丽亚·费雷拉。;阿尔特·米德尔多普;大崎,Hitoshi;汉斯·赞特马 7 1995 使用边界证明重写系统的终止。 Zbl 1203.68077号 马丁·科尔普;阿尔特·米德尔多普 7 2007 重温多项式导数项重写复杂性的矩阵解释。 Zbl 1306.68083号 弗里德里希·纽罗特;哈拉尔赞克尔;阿尔特·米德尔多普 7 2010 一种确定的惰性收缩演算。 Zbl 0983.68090号 阿尔特·米德尔多普;佐藤奥奎 6 1998 术语重写中的相对不确定性。二: 汇流层次结构。 Zbl 1012.68097号 阿尔芬斯·盖瑟;阿尔特·米德尔多普;埃诺·奥勒布什;汉斯·赞特马 6 2002 上下文敏感重写的最内在终止。 Zbl 1015.68106号 吉尔根·吉斯尔;阿尔特·米德尔多普 6 2003 建造系统组合的完整性。 Zbl 1503.68138号 阿尔特·米德尔多普;富山,吉藤义彦 6 1991 右侧有额外变量的条件重写系统的级别汇合。 Zbl 1503.68159号 铃木、芋头;阿尔特·米德尔多普;艾达、铁雄 6 1995 减少图表的标签。 Zbl 1236.68157号 哈拉尔赞克尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普 6 2011 自动实现左-线-右-地重写系统的一阶重写理论。 Zbl 1387.68149号 弗兰齐斯卡·拉普;阿尔特·米德尔多普 6 2016 通过自我标记转换终止。 Zbl 1412.68112号 阿尔特·米德尔多普;大崎,Hitoshi;汉斯·赞特马 6 1996 重写系统复杂度自动分析的联合谱半径理论。 Zbl 1307.68042号 阿尔特·米德尔多普;格奥尔格·莫瑟;弗里德里希·纽罗特;约翰内斯·沃尔德曼;哈拉尔赞克尔 6 2011 自动化依赖项对方法。 Zbl 1278.68264号 Nao Hirokawa;阿尔特·米德尔多普 6 2003 使用SAT使用依赖对进行预测标记。 兹比尔1213.68349 亚当·科普洛夫斯基;阿尔特·米德尔多普 5 2007 顺序还原策略。 Zbl 0872.68080号 塞尔吉奥·安托伊;阿尔特·米德尔多普 5 1996 术语重写中的相对不确定性。 Zbl 0884.68067号 阿尔芬斯·盖瑟;阿尔特·米德尔多普;埃诺·奥勒布什;汉斯·赞特马 5 1997 带端接工具的多功能补偿器。(系统描述)。 Zbl 1165.68472号 佐藤、晴彦;莎拉·温克勒;栗原、Masahito;阿尔特·米德尔多普 5 2008 筑波端接工具。 Zbl 1038.68561号 Nao Hirokawa;阿尔特·米德尔多普 4 2003 术语重写中的相对不确定性。一: 终止层次结构。 Zbl 1012.68096号 阿尔芬斯·盖瑟;阿尔特·米德尔多普;埃诺·奥勒布什;汉斯·赞特马 4 2002 条件重写系统的逻辑性。 Zbl 0938.68050号 山田,Toshiyuki;尤尔根阿文豪斯;卡洛斯·洛里亚·萨恩斯;阿尔特·米德尔多普 4 2000 满足KBO约束。 Zbl 1203.68080号 哈拉尔赞克尔;阿尔特·米德尔多普 4 2007 预测标记。 Zbl 1151.68446号 Nao Hirokawa;阿尔特·米德尔多普 4 2006 条件项重写系统的不相交并集的汇合。 Zbl 1507.68154号 阿尔特·米德尔多普 4 1991 逻辑约束重写的完成。 兹比尔1462.68098 莎拉·温克勒;阿尔特·米德尔多普 4 2018 重温矩阵解释,以证明重写项的终止。 Zbl 1236.68141号 弗里德里希·纽罗特;阿尔特·米德尔多普 4 2011 左线性项重写系统经典合流结果的证明。 Zbl 1478.68117号 朱利安·纳格尔;阿尔特·米德尔多普 4 2016 证明汇流的分层系统。 Zbl 1354.68138号 伯特伦·费尔根豪尔;阿尔特·米德尔多普;哈拉尔赞克尔;Vincent Van Oostrom公司 4 2015 证明汇流的分层系统。 Zbl 1246.68136号 伯特伦·费尔根豪尔;哈拉尔赞克尔;阿尔特·米德尔多普 4 2011 不急于终止和复杂性。 Zbl 1286.68262号 Nao Hirokawa;阿尔特·米德尔多普;哈拉尔赞克尔 4 2013 条件构造函数系统组合的完整性。 Zbl 0942.68592号 阿尔特·米德尔多普 三 1994 过程、术语和周期:在通往无限的道路上迈出的步伐。在简·威廉·克洛普60岁生日之际,为他撰写的论文。 Zbl 1097.68007号 三 2005 根标记。 Zbl 1145.68453号 克里斯蒂安·斯特纳格尔;阿尔特·米德尔多普 三 2008 关于决定呼叫需求的模块化。 Zbl 0978.68071号 艾琳·杜兰德;阿尔特·米德尔多普 三 2001 顺序还原策略。 Zbl 0988.68554号 塞尔吉奥·安托伊;阿尔特·米德尔多普 三 1994 右手边有额外变量的条件重写系统的水平影响。 Zbl 0939.68679号 铃木、芋头;阿尔特·米德尔多普;艾达、铁雄 三 1995 参数筛选的约束。 Zbl 1131.68468号 哈拉尔赞克尔;Nao Hirokawa;阿尔特·米德尔多普 三 2007 术语重写(扩展抽象)中的按需决定调用计算。 Zbl 1430.68133号 艾琳·杜兰德;阿尔特·米德尔多普 三 1997 减少图表的标签。 Zbl 1315.68226号 哈拉尔赞克尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普 三 2015 无限在抽象完成中运行。 Zbl 1441.68113号 Nao Hirokawa;阿尔特·米德尔多普;克里斯蒂安·斯特纳格尔;莎拉·温克勒 三 2017 有序完成中的终止工具。 Zbl 1291.68376号 莎拉·温克勒;阿尔特·米德尔多普 三 2010 优化\(\text{mkb}_{\text{TT}}\)。 Zbl 1236.68156号 莎拉·温克勒;佐藤、晴彦;阿尔特·米德尔多普;栗原、Masahito 三 2010 福特2.0。 Zbl 1511.68330号 弗兰齐斯卡·拉普;阿尔特·米德尔多普 三 2018 利用冗余规则改进重写系统的自动合流分析。 Zbl 1366.68125号 朱利安·纳格尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普 三 2015 CSI:新证据–进度报告。 兹比尔1494.68291 朱利安·纳格尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普 三 2017 用于编程、人工智能和推理的逻辑。第19届国际会议,LPAR-19,南非斯特伦博什,2013年12月14-19日。诉讼程序。 Zbl 1277.68016号 三 2013 重温比赛。 Zbl 1192.68399号 马丁·科尔普;阿尔特·米德尔多普 三 2009 用依赖对匹配边界来证明重写系统的终止。 兹比尔1156.68430 马丁·科尔普;阿尔特·米德尔多普 2 2008 增加解释。 Zbl 1166.68381号 哈拉尔赞克尔;阿尔特·米德尔多普 2 2008 等式改写的类型介绍。 Zbl 0957.68050号 阿尔特·米德尔多普;大崎,Hitoshi 2 2000 消除虚拟消除。 Zbl 0963.68181号 吉尔根·吉斯尔;阿尔特·米德尔多普 2 2000 通过语义标记实现等式终止。 Zbl 0973.68094号 大崎,Hitoshi;阿尔特·米德尔多普;吉尔根·吉斯尔 2 2000 超越多项式和皮亚诺算法——初等和序数解释的自动化。 Zbl 1315.68168号 哈拉尔赞克尔;莎拉·温克勒;阿尔特·米德尔多普 2 2015 重写一阶理论中无限和正规形式谓词的形式化证明。 Zbl 1483.68149号 亚历山大·洛赫曼;阿尔特·米德尔多普 2 2020 抽象完成的新的形式化证明。 Zbl 1416.68164号 Nao Hirokawa;阿尔特·米德尔多普;克里斯蒂安·斯特纳格尔 2 2014 通过标记来终止重写系统。 Zbl 1279.68121号 雷内·蒂曼;阿尔特·米德尔多普 2 2008 带端接工具的多功能补偿器。 Zbl 1362.68253号 莎拉·温克勒;佐藤、晴彦;阿尔特·米德尔多普;栗原、Masahito 2 2013 Ordinals和Knuth-Bendix命令。 Zbl 1352.03018号 莎拉·温克勒;哈拉尔赞克尔;阿尔特·米德尔多普 1 2012 Knuth-Bendix完井简介。 Zbl 0658.68030号 扬·威廉·克鲁普;阿尔特·米德尔多普 1 1988 功能和逻辑编程。第四届富士国际研讨会,FLOPS’99,日本筑波,1999年11月11-13日。诉讼程序。 Zbl 0929.00068号 1 1999 超越依赖关系图。 Zbl 1250.68143号 马丁·科尔普;阿尔特·米德尔多普 1 2009 重写系统的简单终止。 Zbl 0827.68062号 阿尔特·米德尔多普 1 1995 重新访问简单终止。 Zbl 1433.68191号 阿尔特·米德尔多普;汉斯·赞特马 1 1994 ProTeM:验证术语操纵器(系统描述)。 兹比尔1462.68218 克里斯蒂娜·科尔;阿尔特·米德尔多普 1 2018 减少图表和相对终止。 Zbl 1291.68347号 Nao Hirokawa;阿尔特·米德尔多普 1 2010 实域上的多项式解释不包含整数上的多项式说明。 Zbl 1236.68142号 弗里德里希·纽罗特;阿尔特·米德尔多普 1 2010 重新访问最左侧最外侧。 兹伯利1366.68119 Nao Hirokawa;阿尔特·米德尔多普;格奥尔格·莫瑟 1 2015 条件复杂性。 Zbl 1366.68121号 辛西娅·科普;阿尔特·米德尔多普;托马斯·斯特纳格尔 1 2015 将SAT转换为终止重写。 Zbl 1347.68202号 哈拉尔赞克尔;克里斯蒂安·斯特纳格尔;阿尔特·米德尔多普 1 2009 使用终端工具完成AC。 Zbl 1341.68198号 莎拉·温克勒;阿尔特·米德尔多普 1 2011 重新审查正常完工情况。 Zbl 1356.68127号 莎拉·温克勒;阿尔特·米德尔多普 1 2011 超越Peano算法——自动证明Goodstein序列的终止。 Zbl 1356.68206号 莎拉·温克勒;哈拉尔赞克尔;阿尔特·米德尔多普 1 2011 条件项重写的复杂性。 Zbl 1398.68275号 辛西娅·科普;阿尔特·米德尔多普;托马斯·斯特纳格尔 1 2017 在重写的一阶理论中证明证明。 Zbl 1474.68166号 费比安·米特沃纳;亚历山大·洛赫曼;阿尔特·米德尔多普;伯特伦·费尔根豪尔 1 2021 重写一阶理论中无限和正规形式谓词的形式化证明。 Zbl 1483.68149号 亚历山大·洛赫曼;阿尔特·米德尔多普 2 2020 抽象完成,形式化。 Zbl 1509.68119号 Nao Hirokawa;阿尔特·米德尔多普;克里斯蒂安·斯特纳格尔;莎拉·温克勒 1 2019 逻辑约束重写的完成。 Zbl 1462.68098号 莎拉·温克勒;阿尔特·米德尔多普 4 2018 福特2.0。 Zbl 1511.68330号 弗兰齐斯卡·拉普;阿尔特·米德尔多普 三 2018 ProTeM:验证术语操纵器(系统描述)。 兹比尔1462.68218 克里斯蒂娜·科尔;阿尔特·米德尔多普 1 2018 无限在抽象完成中运行。 Zbl 1441.68113号 Nao Hirokawa;阿尔特·米德尔多普;克里斯蒂安·斯特纳格尔;莎拉·温克勒 三 2017 CSI:新证据–进度报告。 Zbl 1494.68291号 朱利安·纳格尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普 三 2017 条件项重写的复杂性。 兹比尔1398.68275 辛西娅·科普;阿尔特·米德尔多普;托马斯·斯特纳格尔 1 2017 自动实现左-线-右-地重写系统的一阶重写理论。 Zbl 1387.68149号 弗兰齐斯卡·拉普;阿尔特·米德尔多普 6 2016 左线性项重写系统经典合流结果的证明。 Zbl 1478.68117号 朱利安·纳格尔;阿尔特·米德尔多普 4 2016 AC-KBO再次访问。 Zbl 1379.68277号 Akihisa山田;莎拉·温克勒;Nao Hirokawa;阿尔特·米德尔多普 1 2016 用于证明汇流的分层系统。 Zbl 1354.68138号 伯特伦·费尔根豪尔;阿尔特·米德尔多普;哈拉尔赞克尔;文森特·凡·奥斯特罗姆 4 2015 减少图表的标签。 Zbl 1315.68226号 哈拉尔赞克尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普 三 2015 利用冗余规则改进重写系统的自动合流分析。 Zbl 1366.68125号 朱利安·纳格尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普 三 2015 超越多项式和皮亚诺算法——初等和序数解释的自动化。 Zbl 1315.68168号 哈拉尔赞克尔;莎拉·温克勒;阿尔特·米德尔多普 2 2015 重新访问最左侧最外侧。 Zbl 1366.68119号 Nao Hirokawa;阿尔特·米德尔多普;格奥尔格·莫瑟 1 2015 条件复杂性。 Zbl 1366.68121号 辛西娅·科普;阿尔特·米德尔多普;托马斯·斯特纳格尔 1 2015 条件汇流(系统描述)。 Zbl 1416.68181号 托马斯·斯特纳格尔;阿尔特·米德尔多普 9 2014 抽象完成的新的形式化证明。 Zbl 1416.68164号 Nao Hirokawa;阿尔特·米德尔多普;克里斯蒂安·斯特纳格尔 2 2014 不急于终止和复杂性。 Zbl 1286.68262号 Nao Hirokawa;阿尔特·米德尔多普;哈拉尔赞克尔 4 2013 用于编程、人工智能和推理的逻辑。第19届国际会议,LPAR-19,南非斯特伦博什,2013年12月14-19日。诉讼程序。 Zbl 1277.68016号 三 2013 带端接工具的多功能补偿器。 Zbl 1362.68253号 莎拉·温克勒;佐藤、晴彦;阿尔特·米德尔多普;栗原、Masahito 2 2013 Ordinals和Knuth-Bendix命令。 Zbl 1352.03018号 莎拉·温克勒;哈拉尔赞克尔;阿尔特·米德尔多普 1 2012 减少图表和相对终止。 兹比尔1243.68199 Nao Hirokawa;阿尔特·米德尔多普 13 2011 CSI–汇流工具。 Zbl 1341.68199号 哈拉尔赞克尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普 12 2011 减少图表的标签。 Zbl 1236.68157号 哈拉尔赞克尔;伯特伦·费尔根豪尔;阿尔特·米德尔多普 6 2011 重写系统复杂度自动分析的联合谱半径理论。 Zbl 1307.68042号 阿尔特·米德尔多普;格奥尔格·莫瑟;弗里德里希·纽罗特;约翰内斯·沃尔德曼;哈拉尔赞克尔 6 2011 修改矩阵解释以证明术语重写的终止。 Zbl 1236.68141号 弗里德里希·纽罗特;阿尔特·米德尔多普 4 2011 证明汇流的分层系统。 Zbl 1246.68136号 伯特伦·费尔根豪尔;哈拉尔赞克尔;阿尔特·米德尔多普 4 2011 使用终端工具完成AC。 Zbl 1341.68198号 莎拉·温克勒;阿尔特·米德尔多普 1 2011 重新审查正常完工情况。 兹比尔1356.68127 莎拉·温克勒;阿尔特·米德尔多普 1 2011 超越Peano算法——自动证明Goodstein序列的终止。 Zbl 1356.68206号 莎拉·温克勒;哈拉尔赞克尔;阿尔特·米德尔多普 1 2011 非线性(ir)有理算法的可满足性。 Zbl 1310.68126号 哈拉尔赞克尔;阿尔特·米德尔多普 13 2010 重温多项式导数项重写复杂性的矩阵解释。 Zbl 1306.68083号 弗里德里希·纽罗特;哈拉尔赞克尔;阿尔特·米德尔多普 7 2010 有序完成中的终止工具。 Zbl 1291.68376号 莎拉·温克勒;阿尔特·米德尔多普 三 2010 优化\(\text{mkb}_{\text{TT}}\)。 Zbl 1236.68156号 莎拉·温克勒;佐藤、晴彦;阿尔特·米德尔多普;栗原、Masahito 三 2010 减少图表和相对终止。 Zbl 1291.68347号 Nao Hirokawa;阿尔特·米德尔多普 1 2010 实域上的多项式解释不包含整数上的多项式说明。 Zbl 1236.68142号 弗里德里希·纽罗特;阿尔特·米德尔多普 1 2010 查找和验证循环。 Zbl 1274.68153号 哈拉尔赞克尔;克里斯蒂安·斯特纳格尔;迪特尔·霍夫鲍尔;阿尔特·米德尔多普 1 2010 KBO定向能力。 Zbl 1184.68303号 哈拉尔赞克尔;Nao Hirokawa;阿尔特·米德尔多普 8 2009 重温比赛。 Zbl 1192.68399号 马丁·科尔普;阿尔特·米德尔多普 三 2009 超越依赖关系图。 Zbl 1250.68143号 马丁·科尔普;阿尔特·米德尔多普 1 2009 将SAT转换为重写的终止。 Zbl 1347.68202号 哈拉尔赞克尔;克里斯蒂安·斯特纳格尔;阿尔特·米德尔多普 1 2009 增加解释。 Zbl 1191.68368号 哈拉尔赞克尔;阿尔特·米德尔多普 1 2009 最大终止。 Zbl 1145.68446号 卡斯滕·福斯;吉尔根·吉斯尔;阿尔特·米德尔多普;彼得·施奈德·坎普;雷内·蒂曼;哈拉尔赞克尔 14 2008 不急于终止。 兹比尔1182.68094 Nao Hirokawa;阿尔特·米德尔多普;哈拉尔赞克尔 7 2008 带端接工具的多功能补偿器。(系统描述)。 Zbl 1165.68472号 佐藤、晴彦;莎拉·温克勒;栗原、Masahito;阿尔特·米德尔多普 5 2008 根标记。 Zbl 1145.68453号 克里斯蒂安·斯特纳格尔;阿尔特·米德尔多普 三 2008 用依赖对匹配边界来证明重写系统的终止。 Zbl 1156.68430号 马丁·科尔普;阿尔特·米德尔多普 2 2008 越来越多的解释。 Zbl 1166.68381号 哈拉尔赞克尔;阿尔特·米德尔多普 2 2008 通过标记来终止重写系统。 Zbl 1279.68121号 雷内·蒂曼;阿尔特·米德尔多普 2 2008 Tyrolean终止工具:技术和功能。 Zbl 1111.68048号 Nao Hirokawa;阿尔特·米德尔多普 38 2007 用多项式解释进行终止分析的SAT求解。 Zbl 1214.68352号 卡斯滕·福斯;吉尔根·吉斯尔;阿尔特·米德尔多普;彼得·施奈德·坎普;雷内·蒂曼;哈拉尔赞克尔 34 2007 使用边界证明重写系统的终止。 Zbl 1203.68077号 马丁·科尔普;阿尔特·米德尔多普 7 2007 使用SAT使用依赖对进行预测标记。 Zbl 1213.68349号 亚当·科普洛夫斯基;阿尔特·米德尔多普 5 2007 满足KBO约束。 Zbl 1203.68080号 哈拉尔赞克尔;阿尔特·米德尔多普 4 2007 参数筛选的约束。 Zbl 1131.68468号 哈拉尔赞克尔;Nao Hirokawa;阿尔特·米德尔多普 三 2007 预测标记。 Zbl 1151.68446号 Nao Hirokawa;阿尔特·米德尔多普 4 2006 自动化依赖项对方法。 Zbl 1081.68038号 Nao Hirokawa;阿尔特·米德尔多普 32 2005 Tyrolean端接工具。 Zbl 1078.68656号 Nao Hirokawa;阿尔特·米德尔多普 13 2005 术语重写中可确定的按需调用计算。 Zbl 1101.68628号 艾琳·杜兰德;阿尔特·米德尔多普 8 2005 过程、术语和周期:在通往无限的道路上迈出的步伐。在简·威廉·克洛普60岁生日之际,为他撰写的论文。 Zbl 1097.68007号 三 2005 重新访问依赖项对。 Zbl 1187.68275号 Nao Hirokawa;阿尔特·米德尔多普 22 2004 上下文敏感重写系统的转换技术。 Zbl 1104.68056号 吉尔根·吉斯尔;阿尔特·米德尔多普 20 2004 负系数多项式解释。 兹比尔1109.68501 Nao Hirokawa;阿尔特·米德尔多普 14 2004 上下文敏感重写的最内在终止。 Zbl 1015.68106号 吉尔根·吉斯尔;阿尔特·米德尔多普 6 2003 自动化依赖项对方法。 Zbl 1278.68264号 Nao Hirokawa;阿尔特·米德尔多普 6 2003 筑波端接工具。 Zbl 1038.68561号 Nao Hirokawa;阿尔特·米德尔多普 4 2003 策略和终止的近似值。 Zbl 1270.68132号 阿尔特·米德尔多普 9 2002 术语重写中的相对不确定性。二: 汇流层次结构。 Zbl 1012.68097号 阿尔芬斯·盖瑟;阿尔特·米德尔多普;埃诺·奥勒布什;汉斯·赞特马 6 2002 术语重写中的相对不确定性。一: 终止层次结构。 Zbl 1012.68096号 阿尔芬斯·盖瑟;阿尔特·米德尔多普;埃诺·奥勒布什;汉斯·赞特马 4 2002 使用树自动机技术近似依赖关系图。 Zbl 0988.68162号 阿尔特·米德尔多普 17 2001 关于决定呼叫需求的模块化。 Zbl 0978.68071号 艾琳·杜兰德;阿尔特·米德尔多普 三 2001 条件重写系统的逻辑性。 Zbl 0938.68050号 山田,Toshiyuki;尤尔根阿文豪斯;卡洛斯·洛里亚·萨恩斯;阿尔特·米德尔多普 4 2000 等式改写的类型介绍。 Zbl 0957.68050号 阿尔特·米德尔多普;大崎,Hitoshi 2 2000 消除虚拟消除。 Zbl 0963.68181号 吉尔根·吉斯尔;阿尔特·米德尔多普 2 2000 通过语义标记实现等式终止。 Zbl 0973.68094号 大崎,Hitoshi;阿尔特·米德尔多普;吉尔根·吉斯尔 2 2000 功能和逻辑编程。第四届富士国际研讨会,FLOPS'99,日本筑波,1999年11月11日至13日。诉讼程序。 Zbl 0929.00068号 1 1999 强顺序和归纳顺序项重写系统。 Zbl 1339.68136号 迈克尔·哈纳斯;萨尔瓦多卢卡斯;阿尔特·米德尔多普 9 1998 一种确定的惰性收缩演算。 Zbl 0983.68090号 阿尔特·米德尔多普;佐藤奥奎 6 1998 重写系统的简单终止。 Zbl 0903.68106号 阿尔特·米德尔多普;汉斯·赞特马 11 1997 术语重写中的相对不确定性。 Zbl 0884.68067号 阿尔芬斯·盖瑟;阿尔特·米德尔多普;埃诺·奥勒布什;汉斯·赞特马 5 1997 术语重写(扩展抽象)中的按需决定调用计算。 Zbl 1430.68133号 艾琳·杜兰德;阿尔特·米德尔多普 三 1997 懒惰的缩小:强大的完备性和渴望的变量消除。 Zbl 0874.68157号 阿尔特·米德尔多普;佐藤奥奎;艾达、铁雄 13 1996 通过自标记转换终端。 Zbl 1412.68112号 阿尔特·米德尔多普;大崎,Hitoshi;汉斯·赞特马 6 1996 顺序还原策略。 Zbl 0872.68080号 塞尔吉奥·安托伊;阿尔特·米德尔多普 5 1996 简单的终止是困难的。 Zbl 0815.68064号 阿尔特·米德尔多普;伯恩哈德·格拉姆利希 12 1995 通过自标记转换终端。 Zbl 0939.68684号 玛丽亚·费雷拉。;阿尔特·米德尔多普;大崎,Hitoshi;汉斯·赞特马 7 1995 右手边有额外变量的条件重写系统的水平影响。 Zbl 1503.68159号 铃木、芋头;阿尔特·米德尔多普;艾达、铁雄 6 1995 右手边有额外变量的条件重写系统的水平影响。 Zbl 0939.68679号 铃木、芋头;阿尔特·米德尔多普;艾达、铁雄 三 1995 重写系统的简单终止。 Zbl 0827.68062号 阿尔特·米德尔多普 1 1995 基本窄化的完整性结果。 Zbl 0810.68088号 阿尔特·米德尔多普;埃里克·哈蒙 29 1994 汇流的模块性:一个简化的证明。 Zbl 0795.68111号 扬·威廉·克鲁普;阿尔特·米德尔多普;富山,吉藤义彦;罗德·德弗里杰尔 8 1994 条件构造函数系统组合的完整性。 Zbl 0942.68592号 阿尔特·米德尔多普 三 1994 顺序还原策略。 Zbl 0988.68554号 塞尔吉奥·安托伊;阿尔特·米德尔多普 三 1994 重新访问简单终止。 Zbl 1433.68191号 阿尔特·米德尔多普;汉斯·赞特马 1 1994 条件项重写系统的模特性。 Zbl 0804.68071号 阿尔特·米德尔多普 28 1993 构造函数系统组合的完整性。 Zbl 0778.68050号 阿尔特·米德尔多普;富山,吉藤义彦 16 1993 正交项重写系统中的序列性。 Zbl 0746.68047号 扬·威廉·克鲁普;阿尔特·米德尔多普 21 1991 …还有5个文档 所有引用出版物 排名前五的出版物 全部的 前5名332位作者引用 50 阿尔特·米德尔多普 34 萨尔瓦多卢卡斯 15 吉尔根·吉斯尔 14 雷内·蒂曼 13 何塞·梅塞盖尔·瓜伊塔 13 格奥尔格·莫瑟 13 哈拉尔赞克尔 13 汉斯·赞特马 12 Nao Hirokawa 12 莎拉·温克勒 11 直纪西田 11 彼得·施奈德·坎普 10 玛丽亚·阿尔普特 10 劳尔·古铁雷斯 8 卡斯滕·福斯 8 Jean-Pierre Jouannaud 8 扬·威廉·克鲁普 8 Masahiko酒井 8 克里斯蒂安·斯特纳格尔 8 德国维达尔 7 圣地亚哥埃斯科瓦尔 7 伯特伦·费尔根豪尔 7 伯恩哈德·格拉姆利希 7 何塞·伊波拉 7 埃诺·奥勒布什 7 富山,吉藤义彦 7 约翰内斯·沃尔德曼 6 约尔格恩德鲁利斯 6 泽维尔·乌尔拜恩 6 Akihisa山田 5 艾丽卡·阿尔布拉汉姆 5 阿勒科恩,比阿特丽兹 5 马丁·阿文齐尼 5 弗雷德里克·布兰基 5 弗朗西斯科·杜兰 5 艾琳·杜兰德。 5 艾达、铁雄 5 拉奥·M·R·K·克里希纳 5 阿尔伯特·鲁比奥 4 塞尔吉奥·安托伊 4 高仁青藤 4 贾斯敏·克里斯蒂安·布兰切特 4 莫雷诺,法拉斯基 4 斯蒂芬·福克 4 阿尔芬斯·盖瑟 4 迈克尔·哈纳斯 4 赫莱内·基什内尔 4 栗原、Masahito 4 马丁·奥列特,纳西索 4 文森特·范·奥斯特罗姆 4 乌韦州瓦尔德曼 三 路易斯·安东尼奥·阿吉雷 三 纳鸿·德肖维茨 三 费边·埃姆斯 三 玛丽贝尔·费尔南德斯 三 托马斯·杰奈特 三 伊莎贝·格尼迪格 三 里卡多·贡萨阿尔维斯 三 克诺尔,马蒂亚斯 三 辛西娅·科普 三 亚当·科普洛夫斯基 三 马丁·科尔普 三 基里恩·克莱默 三 约昂·莱特 三 刘嘉祥 三 亚历山大·洛赫曼 三 克劳德·马奇 三 马西莫·马尔奇奥里 三 莫雷诺,吉纳斯 三 朱利安·纳格尔 三 拉斐尔·纳瓦罗·马塞特 三 小山口,美雄 三 米盖尔·帕洛米诺 三 伊莎贝尔·皮塔 三 安德烈亚斯·施纳布尔 三 雅各布·格鲁·西蒙森 三 托马斯·斯特罗德 2 尼里娜·安德里亚纳里韦洛 2 科尼利厄斯·阿斯切尔曼 2 克里斯蒂娜·博拉莱拉斯 2 亚历山德罗·西马蒂 2 迈克尔·科迪什 2 弗洛里安·科齐利厄斯 2 德尔·瓦多·维尔塞达,拉斐尔 2 丹尼尔·多尔蒂。 2 Gilles Dowek 2 瑞希德·埃哈希德 2 直井井口 2 米尔塔·利纳·费尔南德斯 2 玛丽亚·费雷拉。 2 奥利维尔·菲索 2 弗洛里安·弗洛恩 2 简·赫尔曼·杰弗斯 2 阿尔贝托·格里乔 2 杰拉·亨塞尔 2 迪特尔·霍夫鲍尔 2 佛罗伦萨·杰克马尔 2 塞萨里·卡利西克 2 卡普尔,迪帕克 2 Khanh,To Van先生 …和232多位作者 全部的 前5名30篇连载文章中引用 44 理论计算机科学 30 自动推理杂志 21 信息与计算 15 信息处理信件 13 程序设计中的逻辑和代数方法杂志 11 计算机科学中的逻辑方法 9 工程、通信和计算中的应用代数 8 符号计算杂志 6 逻辑程序设计理论与实践 4 ACM计算逻辑事务 三 人工智能 2 计算的形式方面 2 MSCS公司。计算机科学中的数学结构 2 系统设计中的形式化方法 2 高阶和符号计算 1 模糊集与系统 1 信息科学 1 计算机与系统科学杂志 1 符号逻辑杂志 1 国际计算机科学基础杂志 1 Indagationes Mathematicae公司。新系列 1 函数编程杂志 1 数学与人工智能年鉴 1 斯博尼克:数学 1 图形算法与应用杂志 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 计算机科学中的数学 1 泛逻辑 1 《大学学报》。Informatica公司 全部的 前5名在12个字段中引用 344 计算机科学(68-XX) 67 数学逻辑和基础(03-XX) 三 组合数学(05-XX) 三 范畴理论;同调代数(18-XX) 2 阶、格、有序代数结构(06-XX) 2 运筹学、数学规划(90-XX) 1 场论和多项式(12-XX) 1 代数几何(14-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 群论与推广(20-XX) 1 动力系统和遍历理论(37至XX) 1 量子理论(81-XX) 按年份列出的引文