Fachbereich: Sistemas Informáticos y Computación

Fakultät: Informática

Bereich: Computersprachen und Computersysteme

Doktorin von der Universidad Complutense de Madrid mit der Dissertation Una lógica no estándar admisible para programas funcionales 1990. unter der Leitung von Dr. María Teresa Hortala González.