arXiv 2000-03-02 EN Don't Trash your Intermediate Results, Cache 'em Roy, Prasan · Ramamritham, Krithi · Seshadri, S. · Shenoy, Pradeep +1
arXiv 2000-02-18 EN Computing and Comparing Semantics of Programs in Multi-valued Logics Loyer, Y. · Spyratos, N. · Stamate, D.