Browsing Publicaciones - UPV/EHU by Author "Barragán, Julia"
Now showing items 1-3 of 3
-
A Type-Logic Approach to Refinement
Barragán, Julia (Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1996)... -
El control automatizado de la coherencia de los sistemas de normas
Barragán, Julia (Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1988)... -
The perverse normative power of self-exceptions
Barragán, Julia (Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 2003)...