SAMIR
GENAIM
Profesor contratado doctor
![Foto de SAMIR](/img/nophoto.png)
![Foto de KU Leuven](/img/noimage_org.png)
KU Leuven
Lovaina, BélgicaPublications en collaboration avec des chercheurs 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)