Martin Korp

	2009
5		Martin Korp, Aart Middeldorp: Beyond Dependency Graphs. CADE 2009: 339-354
4		Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp: Tyrolean Termination Tool 2. RTA 2009: 295-304
3		Martin Korp, Aart Middeldorp: Match-bounds revisited. Inf. Comput. 207(11): 1259-1283 (2009)
	2008
2		Martin Korp, Aart Middeldorp: Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems. LATA 2008: 321-332
	2007
1		Martin Korp, Aart Middeldorp: Proving Termination of Rewrite Systems Using Bounds. RTA 2007: 273-287

Coauthor Index

1	Aart Middeldorp	[1] [2] [3] [4] [5]
2	Christian Sternagel	[4]
3	Harald Zankl	[4]