Martin Korp

According to our database, Martin Korp authored at least 8 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Modular Complexity Analysis for Term Rewriting.

Harald Zankl, Martin Korp

Log. Methods Comput. Sci., 2014

2010

Modular Complexity Analysis via Relative Complexity.

Harald Zankl, Martin Korp

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

On Implementing Modular Complexity Analysis.

Harald Zankl, Martin Korp

Proceedings of the 8th International Workshop on the Implementation of Logics, 2010

2009

Match-bounds revisited.

Martin Korp, Aart Middeldorp

Inf. Comput., 2009

Tyrolean Termination Tool 2.

Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

Beyond Dependency Graphs.

Martin Korp, Aart Middeldorp

Proceedings of the Automated Deduction, 2009

2008

Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems.

Martin Korp, Aart Middeldorp

Proceedings of the Language and Automata Theory and Applications, 2008

2007

Proving Termination of Rewrite Systems Using Bounds.

Martin Korp, Aart Middeldorp

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007