Tese doutoral

  1. Una lógica trivalorada para funciones recursivas parciales 1990

    Universidad Complutense de Madrid

Teses dirixidas (3)

  1. Aplicación de las unidades de procesamiento gráfico en el diseño e implementación de sistemas de ray tracing 2014

    Universidad Complutense de Madrid

    Torres de Alba, Roberto

  2. Métodos de tableaux para lógicas con declaraciones de términos dominios preordenados y operaciones monótonas 2000

    Universidad Complutense de Madrid

    Martín de la Calle, Pedro Jesús

  3. Programación lógico-funcional con tipos paramétricos y géneros ordenados 1999

    Universidad Complutense de Madrid

    Almendros Jiménez, Jesús Manuel

Tribunais de teses (1)

  1. Vogal do tribunal

    Sistemas de tipos puros con universos 1999

    Universidad de Málaga

    Ruiz Jiménez, Blas Carlos