Martin Korp

Papers

authors	title	volume	pages
Harald Zankl and Martin Korp	On Implementing Modular Complexity Analysis	IWIL 2010. The 8th International Workshop on the Implementation of Logics	42-47

#	keywords
1	complexity analysis, derivational complexity, term rewriting