Dissertationen geleitet (4)

  1. Técnicas de demostración de indecibilidad e inseparabilidad en teorías formales 2001

    Universidad Complutense de Madrid

    Gallego Castaño, Enrique

  2. Conceptos temporales para el estudio del comportamiento de programas 1984

    Universidad Complutense de Madrid

    Fariñas del Cerro, Luis

  3. Una teoría de tipos estructurados de datos 1980

    Universidad Complutense de Madrid

    Orejas Valdés, Fernando

  4. Conjuntos [pi]1 1 completos e hiperaritméticos 1974

    Universidad Complutense de Madrid

    Hortalá González, Ma. Teresa

Gerichte für Dissertationen (13)

  1. Präsident des Gerichts

    La interpretación filosófica del cálculo infinistesimal en el sistema de Hegel 2001

    Universidad de Navarra

    MIRANDA MARTIN FRANCISCO JAVIER

  2. Präsident des Gerichts

    Interacciones contextuales en la didáctica de las matemáticas 1999

    Universidad Complutense de Madrid

    GARCIA SUAREZ, JENARO

  3. Vokal des Gerichts

    Reflection in general logics and in rewriting logic with applications to the maude languaje 1998

    Universidad de Navarra

    García Clavel, Manuel

  4. Vokal des Gerichts

    Abraham Robinson y el análisis no estándar: ¿una vuelta a Leibniz? 1996

    Universidad de Valladolid

    JOVEN ALVAREZ FERNANDO JAVIER

  5. Präsident des Gerichts

    Diseño e implementación de un sistema de análisis documental automático 1995

    Universidad Complutense de Madrid

    López Rincón, Carmen

  6. Vokal des Gerichts

    Sobre dos lógicas categóricas: lógica lineal y álgebra con tipos ordenados 1991

    Universidad Complutense de Madrid

    Martí Oliet, Narciso

  7. Vokal des Gerichts

    Verificación de bases de conocimiento 1991

    Universidad Politécnica de Madrid

    Ramirez Nieves, Betty

  8. Präsident des Gerichts

    Una lógica trivalorada para funciones recursivas parciales 1990

    Universidad Complutense de Madrid

    Gavilanes Franco, Antonio Javier

  9. Präsident des Gerichts

    Una lógica no estándar admisible para programas funcionales 1990

    Universidad Complutense de Madrid

    Gil Luezas, Ana

  10. 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 1989

    Universitat de València

    Climent Vidal, Joan B.

  11. Vokal des Gerichts

    Contribuciones a la teoría abstracta de modelos 1987

    Universitat de Barcelona

    Casanovas Ruiz-Fornells, Enrique

  12. Präsident des Gerichts

    Conceptos temporales para el estudio del comportamiento de programas 1984

    Universidad Complutense de Madrid

    Fariñas del Cerro, Luis

  13. Vokal des Gerichts

    Lt-equivalencia 1983

    Universidad Complutense de Madrid

    Martínez Alonso, Juan Carlos