Département: Lenguajes y Sistemas Informáticos

Centre: Facultad de Informática

Campus: Gipuzkoa

Domaine de connaissance: Ingenieria y Arquitectura

Domaine: Lenguajes y Sistemas Informáticos

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

Email: javier.alvez@ehu.eus

Docteur/e à l Universidad del País Vasco - Euskal Herriko Unibertsitatea avec la thèse A transformational approach to constructive negation in constraint normal logic programming 2008. Dirigée par Dr/a. Paqui Lucio.