Tesis dirigidas (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

Tribunales de tesis (13)

  1. Presidente del tribunal

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

    Universidad de Navarra

    MIRANDA MARTIN FRANCISCO JAVIER

  2. Presidente del tribunal

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

    Universidad Complutense de Madrid

    GARCIA SUAREZ, JENARO

  3. Vocal del tribunal

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

    Universidad de Navarra

    García Clavel, Manuel

  4. Vocal del tribunal

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

    Universidad de Valladolid

    JOVEN ALVAREZ FERNANDO JAVIER

  5. Presidente del tribunal

    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. Vocal del tribunal

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

    Universidad Complutense de Madrid

    Martí Oliet, Narciso

  7. Vocal del tribunal

    Verificación de bases de conocimiento 1991

    Universidad Politécnica de Madrid

    Ramirez Nieves, Betty

  8. Presidente del tribunal

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

    Universidad Complutense de Madrid

    Gil Luezas, Ana

  9. Presidente del tribunal

    Una lógica trivalorada para funciones recursivas parciales 1990

    Universidad Complutense de Madrid

    Gavilanes Franco, Antonio Javier

  10. Presidente del tribunal

    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. Vocal del tribunal

    Contribuciones a la teoría abstracta de modelos 1987

    Universitat de Barcelona

    Casanovas Ruiz-Fornells, Enrique

  12. Presidente del tribunal

    Conceptos temporales para el estudio del comportamiento de programas 1984

    Universidad Complutense de Madrid

    Fariñas del Cerro, Luis

  13. Vocal del tribunal

    Lt-equivalencia 1983

    Universidad Complutense de Madrid

    Martínez Alonso, Juan Carlos