SAMIR
GENAIM
Profesor contratado doctor
KU Leuven
Lovaina, BélgicaPublicaciones en colaboración con investigadores/as de KU Leuven (2)
2007
-
Termination analysis of logic programs through combination of type-based norms
ACM Transactions on Programming Languages and Systems, Vol. 29, Núm. 2
2002
-
Reuse of results in termination analysis of typed logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)