Supervised Theses (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

Theses Committees (13)

  1. Chair of the Committee

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

    Universidad de Navarra

    MIRANDA MARTIN FRANCISCO JAVIER

  2. Chair of the Committee

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

    Universidad Complutense de Madrid

    GARCIA SUAREZ, JENARO

  3. Committee Member

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

    Universidad de Navarra

    García Clavel, Manuel

  4. Committee Member

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

    Universidad de Valladolid

    JOVEN ALVAREZ FERNANDO JAVIER

  5. Chair of the Committee

    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. Committee Member

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

    Universidad Complutense de Madrid

    Martí Oliet, Narciso

  7. Committee Member

    Verificación de bases de conocimiento 1991

    Universidad Politécnica de Madrid

    Ramirez Nieves, Betty

  8. Chair of the Committee

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

    Universidad Complutense de Madrid

    Gil Luezas, Ana

  9. Chair of the Committee

    Una lógica trivalorada para funciones recursivas parciales 1990

    Universidad Complutense de Madrid

    Gavilanes Franco, Antonio Javier

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

    Universitat de València

    Climent Vidal, Joan B.

  11. Committee Member

    Contribuciones a la teoría abstracta de modelos 1987

    Universitat de Barcelona

    Casanovas Ruiz-Fornells, Enrique

  12. Chair of the Committee

    Conceptos temporales para el estudio del comportamiento de programas 1984

    Universidad Complutense de Madrid

    Fariñas del Cerro, Luis

  13. Committee Member

    Lt-equivalencia 1983

    Universidad Complutense de Madrid

    Martínez Alonso, Juan Carlos