Sistemas formales afines a la semántica de situaciones
- Barba Escribá, Juan
- Huberto Marraud Director
Defence university: Universidad Autónoma de Madrid
Year of defence: 1989
- Javier Echeverría Ezponda Chair
- Julio César Armero San José Secretary
- Jaime Sarabia Álvarez-Ude Committee member
- Lucila González Pazos Committee member
- Javier Ordóñez Rodríguez Committee member
Type: Thesis