Department: Lenguajes y Sistemas Informáticos

Centre: Facultad de Informática

Campus: Gipuzkoa

Field of knowledge: Ingenieria y Arquitectura

Area: Computer Languages and Systems

Was part of these groups:

Doctor by the Universidad Complutense de Madrid with the thesis Lógica parcial trivalorada. Aproximaciones de primer orden, de orden superior e intuicionista 1994. Supervised by Dr. Mario Rodríguez Artalejo.