Complutense University Library

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 5.

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso and Caballero, Rafael A Declarative Debugger for Maude Specifications: User Guide. [ Technical Report SIC; 7-09, ] (Submitted)

Caballero, Rafael and Martí Oliet, Narciso and Riesco Rodríguez, Adrián and Verdejo López, José Alberto Declarative Debugging of Maude Functional Modules. [ Technical Report SIC; 4-07, ] (Submitted)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Caballero, Rafael and Martí Oliet, Narciso Declarative Debugging of Maude Modules. [ Technical Report SIC; 6/08, ]

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso and Caballero, Rafael (2010) Declarative debugging of rewriting logic specifications. [ Technical Report SIC; nº 10, 2, ] (Unpublished)

Caballero, Rafael and Cerdá Tena, Emilio and Muñoz, María del Mar and Rey, Lourdes (1998) Relations among several efficiency concepts in stochastic multiple objective programming. [ Documentos de Trabajo del Instituto Complutense de Análisis Económico (ICAE); nº 16, 1998, ]

This list was generated on Sun Mar 29 04:23:20 2015 CEST.