JAVIER
ALVEZ GIMENEZ
PROFESORADO AGREGADO
Thesis
-
A transformational approach to constructive negation in constraint normal logic programming 2008
Universidad del País Vasco - Euskal Herriko Unibertsitatea