JOSÉ
FERNÁNDEZ-PRIDA DE CARLOS
Researcher to 2008
Supervised Theses (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
Theses Committees (13)
-
Chair of the Committee
La interpretación filosófica del cálculo infinistesimal en el sistema de Hegel 2001Universidad de Navarra
MIRANDA MARTIN FRANCISCO JAVIER
-
Chair of the Committee
Interacciones contextuales en la didáctica de las matemáticas 1999Universidad Complutense de Madrid
GARCIA SUAREZ, JENARO
-
Committee Member
Reflection in general logics and in rewriting logic with applications to the maude languaje 1998Universidad de Navarra
-
Committee Member
Abraham Robinson y el análisis no estándar: ¿una vuelta a Leibniz? 1996Universidad de Valladolid
JOVEN ALVAREZ FERNANDO JAVIER
-
Chair of the Committee
Diseño e implementación de un sistema de análisis documental automático 1995Universidad Complutense de Madrid
-
Committee Member
Sobre dos lógicas categóricas: lógica lineal y álgebra con tipos ordenados 1991Universidad Complutense de Madrid
-
Committee Member
Verificación de bases de conocimiento 1991Universidad Politécnica de Madrid
Ramirez Nieves, Betty
-
Chair of the Committee
Una lógica no estándar admisible para programas funcionales 1990Universidad Complutense de Madrid
-
Chair of the Committee
Una lógica trivalorada para funciones recursivas parciales 1990Universidad Complutense de Madrid
-
Chair of the Committee
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.
-
Committee Member
Contribuciones a la teoría abstracta de modelos 1987Universitat de Barcelona
Casanovas Ruiz-Fornells, Enrique
-
Chair of the Committee
Conceptos temporales para el estudio del comportamiento de programas 1984Universidad Complutense de Madrid
Fariñas del Cerro, Luis
-
Committee Member
Lt-equivalencia 1983Universidad Complutense de Madrid
Martínez Alonso, Juan Carlos