The following pages link to Martin Korp (Q1041043):
Displayed 6 items.
- Match-bounds revisited (Q1041044) (← links)
- Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems (Q3540124) (← links)
- Beyond Dependency Graphs (Q5191112) (← links)
- (Q5389157) (← links)
- Modular Complexity Analysis for Term Rewriting (Q5408194) (← links)
- Proving Termination of Rewrite Systems Using Bounds (Q5432346) (← links)