×
作者ID: 中等艺术“Middeldorp,Aart”最近发表的zbMATH文章
发布日期: 阿尔特·米德尔多普;阿尔·米德尔多普;米德尔多普,A。
主页: http://cl-informationk.uibk.ac.at/users/ami/
外部链接: MGP公司
已编制索引的文档: 118出版物自1988年起
作为编辑的10份贡献
合著者: 57位合著者具有116联合出版物
620名合作作者

按年份列出的出版物

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多位作者

按年份列出的引文