- ALBERT, E., BOFILL, M., BORRALLERAS, C., MARTIN-MARTIN, E., i RUBIO, A. (2019). Resource Analysis driven by (Conditional) Termination Proofs. Theory and Practice of Logic Programming, 19(5-6), 722-739. doi: 10.1017/S1471068419000152
Resource Analysis driven by (Conditional) Termination Proofs
on 4 de novembre de 2019
with No hi ha comentaris
Deixa un comentari