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