DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox
Talks
Conferences Workshops

Talks at Conferences

Beyond Dependency Graphs
22nd International Conference on Automated Deduction (CADE), 2009
Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems
2nd International Conference on Language and Automata Theory and Applications (LATA), 2008
Proving Termination of Rewrite Systems using Bounds
18th International Conference on Rewriting Techniques and Applications (RTA), 2007

Talks at Workshops

Relative Match-Bounds for Complexity Analysis
3rd Austrian-Japan Summer Workshop on Term Rewriting (AJSW), 2010
Beyond Dependency Graphs
10th International Workshop on Termination (WST), 2009
Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems
2nd Austrian-Japan Summer Workshop on Term Rewriting (AJSW), 2007