Document Versions

Improving Context-Sensitive Dependency Pairs –Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann — 2008
Improving Context-Sensitive Dependency Pairs ⋆ –Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Salvador Lucas, Peter Schneider-kamp, René Thiemann
Improving context-sensitive dependency pairs –Fabian Emmes, Carsten Fuhs, Salvador Lucas, Peter Schneider-kamp, Fabian Emmes, Carsten Fuhs, Salvador Lucas, Peter Schneider-kamp — Technical Report: Aachener Informatik Berichte (AIB
R.: Improving context-sensitive dependency pairs –Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-kamp
Improving context-sensitive dependency pairs –Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-kamp, René Thiemann, Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Salvador Lucas, Peter Schneider-kamp, René Thiemann — 2008 — Proceedings 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR’08), volume 5330 of LNAI
Improving context-sensitive dependency pairs –Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Salvador Lucas, Peter Schneider-kamp, René Thiemann — 2008