ANTONIO
GAVILANES FRANCO
Profesor titular de universidad
![Foto de ANTONIO](/img/nophoto.png)
![Foto de Universidad del País Vasco/Euskal Herriko Unibertsitatea](/img/noimage_org.png)
Universidad del País Vasco/Euskal Herriko Unibertsitatea
Lejona, EspañaPublicacions en col·laboració amb investigadors/es de Universidad del País Vasco/Euskal Herriko Unibertsitatea (1)
1990
-
A first order logic for partial functions
Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69