JOSÉ
FERNÁNDEZ-PRIDA DE CARLOS
Chercheur jusqu {1}
Thèses dirigées (4)
-
Técnicas de demostración de indecibilidad e inseparabilidad en teorías formales 2001
Universidad Complutense de Madrid
Gallego Castaño, Enrique
-
Conceptos temporales para el estudio del comportamiento de programas 1984
Universidad Complutense de Madrid
Fariñas del Cerro, Luis
-
Una teoría de tipos estructurados de datos 1980
Universidad Complutense de Madrid
Orejas Valdés, Fernando
-
Conjuntos [pi]1 1 completos e hiperaritméticos 1974
Universidad Complutense de Madrid
Jurys de thèses (13)
-
Président du jury
La interpretación filosófica del cálculo infinistesimal en el sistema de Hegel 2001Universidad de Navarra
MIRANDA MARTIN FRANCISCO JAVIER
-
Président du jury
Interacciones contextuales en la didáctica de las matemáticas 1999Universidad Complutense de Madrid
GARCIA SUAREZ, JENARO
-
Rapporteur du jury
Reflection in general logics and in rewriting logic with applications to the maude languaje 1998Universidad de Navarra
-
Rapporteur du jury
Abraham Robinson y el análisis no estándar: ¿una vuelta a Leibniz? 1996Universidad de Valladolid
JOVEN ALVAREZ FERNANDO JAVIER
-
Président du jury
Diseño e implementación de un sistema de análisis documental automático 1995Universidad Complutense de Madrid
-
Rapporteur du jury
Sobre dos lógicas categóricas: lógica lineal y álgebra con tipos ordenados 1991Universidad Complutense de Madrid
-
Rapporteur du jury
Verificación de bases de conocimiento 1991Universidad Politécnica de Madrid
Ramirez Nieves, Betty
-
Président du jury
Una lógica no estándar admisible para programas funcionales 1990Universidad Complutense de Madrid
-
Président du jury
Una lógica trivalorada para funciones recursivas parciales 1990Universidad Complutense de Madrid
-
Président du jury
Consideraciones sobre la teoría de las instituciones de Goguen y Burstall, los functores parciales y la recursión generalizada heterogénea 1989Universitat de València
Climent Vidal, Joan B.
-
Rapporteur du jury
Contribuciones a la teoría abstracta de modelos 1987Universitat de Barcelona
Casanovas Ruiz-Fornells, Enrique
-
Président du jury
Conceptos temporales para el estudio del comportamiento de programas 1984Universidad Complutense de Madrid
Fariñas del Cerro, Luis
-
Rapporteur du jury
Lt-equivalencia 1983Universidad Complutense de Madrid
Martínez Alonso, Juan Carlos