E-Prints Complutense
| Login | Create Account |
 | Up a level |
Delgado Muñoz, Agustín Daniel (2010) Avances recientes en análisis estáticos de terminación. Tesis Master's thesis.
Delgado Muñoz, Agustín Daniel and Novillo Vidal, Álvaro and Pérez Morente, Fernando (2009) Implementación de un demostrador automático de teoremas interactivo mediante el método de eliminación de modelos. [Coursework] (Unpublished)
