Alejandro
López García
Utrecht University
Utrecht, HolandaPublicacións en colaboración con investigadores/as de Utrecht University (2)
2024
2014
-
Resource usage analysis of logic programs via abstract interpretation using sized types
Theory and Practice of Logic Programming