Keyphrase: complexity analysis

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