Publicacions en col·laboració amb investigadors/es de Universitat de Vic (1)

2019

  1. Resource Analysis driven by (Conditional) Termination Proofs

    Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 722-739