- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c6 |      | Raúl Gutiérrez, José Meseguer, Camilo Rocha: Order-Sorted Equality Enrichments Modulo Axioms. WRLA 2012: 162-181 |
| 2010 | ||
| j4 | | Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas: Context-sensitive dependency pairs. Inf. Comput. 208(8): 922-968 (2010) |
| c5 | | Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset: Proving Termination Properties with mu-term. AMAST 2010: 201-208 |
| c4 | | Raúl Gutiérrez, Salvador Lucas: Proving Termination in the Context-Sensitive Dependency Pair Framework. WRLA 2010: 18-34 |
| 2008 | ||
| c3 | | 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 |
| c2 | | Raúl Gutiérrez, Salvador Lucas, Xavier Urbain: Usable Rules for Context-Sensitive Rewrite Systems. RTA 2008: 126-141 |
| 2007 | ||
| j3 | | Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas: Improving the Context-sensitive Dependency Graph. Electr. Notes Theor. Comput. Sci. 188: 91-103 (2007) |
| j2 | | 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) |
| 2006 | ||
| c1 | | Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas: Context-Sensitive Dependency Pairs. FSTTCS 2006: 297-308 |
| 1995 | ||
| j1 | | 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) |
Colors in the list of coauthors
Last update Tue May 21 18:01:02 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page