![]() | ![]() |
| 2011 | ||
|---|---|---|
| 2 | Lars Noschinski, Fabian Emmes, Jürgen Giesl: A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems. CADE 2011: 422-438 | |
| 2008 | ||
| 1 | Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann: Improving Context-Sensitive Dependency Pairs. LPAR 2008: 636-651 | |
| 1 | Beatriz Alarcón | [1] |
| 2 | Carsten Fuhs | [1] |
| 3 | Jürgen Giesl | [1] [2] |
| 4 | Raúl Gutiérrez | [1] |
| 5 | Salvador Lucas | [1] |
| 6 | Lars Noschinski | [2] |
| 7 | Peter Schneider-Kamp | [1] |
| 8 | René Thiemann | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page