ANTONIO
GAVILANES FRANCO
Profesor titular de universidad
Tesis doctoral
-
Una lógica trivalorada para funciones recursivas parciales 1990
Universidad Complutense de Madrid
Tesis dirigidas (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
Tribunales de tesis (1)
-
Vocal del tribunal
Sistemas de tipos puros con universos 1999Universidad de Málaga
Ruiz Jiménez, Blas Carlos