Fachbereich: Lenguajes y Sistemas Informáticos

Zentrum: Facultad de Informática

Campus: Gipuzkoa

Wissensbereich: Ingenieria y Arquitectura

Bereich: Computersprachen und Computersysteme

Forschungsgruppe: LoRea (Logic and Reasoning) - GIU 21/044

Email: javier.alvez@ehu.eus

Doktor von der Universidad del País Vasco - Euskal Herriko Unibertsitatea mit der Dissertation A transformational approach to constructive negation in constraint normal logic programming 2008. unter der Leitung von Dr. Paqui Lucio.