 | 2010 |
| 9 |  | Beatriz Alarcón,
Raúl Gutiérrez,
Salvador Lucas,
Rafael Navarro-Marset:
Proving Termination Properties with mu-term.
AMAST 2010: 201-208 |
| 8 |  | Beatriz Alarcón,
Salvador Lucas,
José Meseguer:
A Dependency Pair Framework for A OR C-Termination.
WRLA 2010: 35-51 |
| 7 |  | Beatriz Alarcón,
Raúl Gutiérrez,
Salvador Lucas:
Context-sensitive dependency pairs.
Inf. Comput. 208(8): 922-968 (2010) |
| 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 |