IndexAuthor

Pérez Morente, Fernando (2011) A semantic framework for higher-order functional logic programming with Lambda-Abstractions. [Trabajo Fin de Máster]

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)