ANTONIO
GAVILANES FRANCO
Profesor titular de universidad
![Foto de Paqui](/img/nophoto.png)
Paqui
Lucio
Publications dans lesquelles il/elle collabore avec Paqui Lucio (1)
1990
-
A first order logic for partial functions
Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69