ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
![Foto de ENRIQUE](/img/nophoto.png)
![Foto de Universitat de Girona](/img/noimage_org.png)
Universitat de Girona
Girona, EspañaPublicaciones en colaboración con investigadores/as de Universitat de Girona (1)
2019
-
Resource Analysis driven by (Conditional) Termination Proofs
Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 722-739