E-Prints Complutense
| Login | Create Account |
 | Up a level |
Martín Martín, Enrique (2009) Advances in type systems for functional logic programming. Tesis Master's thesis.
Martín Martín, Enrique (2013) Sistemas de tipos en lenguajes lógico-funcionales. Tesis PhD.
García Soriano, David and Martín Martín, Enrique and Romero Laorden, David (2007) Uso de hardware gráfico para la aceleración de métodos algebraicos de recontrucción. [Coursework] (Unpublished)
