Complutense University Library

IndexAuthor

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

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)

This list was generated on Mon Apr 21 02:33:13 2014 CEST.