ANTONIO
GAVILANES FRANCO
Profesor titular de universidad
Doktorego-tesia
-
Una lógica trivalorada para funciones recursivas parciales 1990
Universidad Complutense de Madrid
Zuzendutako tesiak (3)
-
Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing 2014
Universidad Complutense de Madrid
Torres de Alba, Roberto
-
Métodos de tableaux para lógicas con declaraciones de términos dominios preordenados y operaciones monótonas 2000
Universidad Complutense de Madrid
-
Programación lógico-funcional con tipos paramétricos y géneros ordenados 1999
Universidad Complutense de Madrid
Almendros Jiménez, Jesús Manuel
Tesi epaimahaiak (1)
-
Epaimahaikidea
Sistemas de tipos puros con universos 1999Universidad de Málaga
Ruiz Jiménez, Blas Carlos