 | 2009 |
|---|
| 6 |       | Beatriz Alarcón,
Salvador Lucas:
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting.
Electr. Notes Theor. Comput. Sci. 248: 3-17 (2009) |
| 2008 |
|---|
| 5 | | 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 |
| 2007 |
|---|
| 4 | | Beatriz Alarcón,
Salvador Lucas:
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs.
FroCos 2007: 73-87 |
| 3 | | Beatriz Alarcón,
Raúl Gutiérrez,
José Iborra,
Salvador Lucas:
Proving Termination of Context-Sensitive Rewriting with MU-TERM.
Electr. Notes Theor. Comput. Sci. 188: 105-115 (2007) |
| 2 | | Beatriz Alarcón,
Raúl Gutiérrez,
Salvador Lucas:
Improving the Context-sensitive Dependency Graph.
Electr. Notes Theor. Comput. Sci. 188: 91-103 (2007) |
| 2006 |
|---|
| 1 | | Beatriz Alarcón,
Raúl Gutiérrez,
Salvador Lucas:
Context-Sensitive Dependency Pairs.
FSTTCS 2006: 297-308 |
