Sistemas formales afines a la semántica de situaciones
- Barba Escribá, Juan
- Huberto Marraud Zuzendaria
Defentsa unibertsitatea: Universidad Autónoma de Madrid
Defentsa urtea: 1989
- Javier Echeverría Ezponda Presidentea
- Julio César Armero San José Idazkaria
- Jaime Sarabia Álvarez-Ude Kidea
- Lucila González Pazos Kidea
- Javier Ordóñez Rodríguez Kidea
Mota: Tesia