ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
Universitat de Girona
Girona, EspañaUniversitat de Girona-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2019
-
Resource Analysis driven by (Conditional) Termination Proofs
Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 722-739