 | 2008 |
|---|
| 6 |       | María Alpuente,
Santiago Escobar,
José Iborra:
Termination of Narrowing Using Dependency Pairs.
ICLP 2008: 317-331 |
| 5 | | María Alpuente,
Santiago Escobar,
José Iborra:
Modular Termination of Basic Narrowing.
RTA 2008: 1-16 |
| 2007 |
|---|
| 4 | | Simon Marlow,
José Iborra,
Bernard Pope,
Andy Gill:
A lightweight interactive debugger for haskell.
Haskell 2007: 13-24 |
| 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) |
| 2005 |
|---|
| 2 | | Artur Boronat,
José Iborra,
José A. Carsí,
Isidro Ramos,
Abel Gómez:
Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos.
DSDM 2005 |
| 1 |  | Artur Boronat,
José Iborra,
José A. Carsí,
Isidro Ramos,
Abel Gómez:
Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework.
JISBD 2005: 253-258 |
