 | 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 | | Raúl Gutiérrez,
Salvador Lucas:
Proving Termination in the Context-Sensitive Dependency Pair Framework.
WRLA 2010: 18-34 |
| 7 | | Beatriz Alarcón,
Raúl Gutiérrez,
Salvador Lucas:
Context-sensitive dependency pairs.
Inf. Comput. 208(8): 922-968 (2010) |
| 2008 |
|---|
| 6 | | 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 |
| 5 | | Raúl Gutiérrez,
Salvador Lucas,
Xavier Urbain:
Usable Rules for Context-Sensitive Rewrite Systems.
RTA 2008: 126-141 |
| 2007 |
|---|
| 4 | | 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) |
| 3 | | 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 |
|---|
| 2 | | Beatriz Alarcón,
Raúl Gutiérrez,
Salvador Lucas:
Context-Sensitive Dependency Pairs.
FSTTCS 2006: 297-308 |
| 1995 |
|---|
| 1 | | Raúl Gutiérrez,
Jørgen Nørgaard,
Kjell Randsted:
IN and beyond: two approaches to the evolution of INs.
Computer Communications 18(11): 816-824 (1995) |
Data released under the ODC-BY 1.0 license — See also our legal information page