Département: Lenguajes y Sistemas Informáticos

Centre: Escuela de Ingeniería de Bilbao

Campus: Bizkaia

Domaine de connaissance: Ingenieria y Arquitectura

Domaine: Lenguajes y Sistemas Informáticos

Groupe de recherche: LoRea (Logic and Reasoning) - GIU 21/044

Email: jose.gaintzarain@ehu.eus

Docteur/e à l Universidad del País Vasco - Euskal Herriko Unibertsitatea avec la thèse Invariant-free deduction systems for temporal logic 2012. Dirigée par Dr/a. Paqui Lucio.