Biblioteca de la Universidad Complutense de Madrid

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 5.

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

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

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

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

Caballero, Rafael y Cerdá Tena, Emilio y Muñoz, María del Mar y 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, ]

Esta lista fue generada el Sat Dec 3 02:57:30 2016 CET.