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