SAMIR
GENAIM
Profesor contratado doctor
![Foto de SAMIR](/img/nophoto.png)
![Foto de Roskilde University](/img/noimage_org.png)
Roskilde University
Roskilde, DinamarcaPublikationen in Zusammenarbeit mit Forschern von Roskilde University (1)
2007
-
Termination analysis of logic programs through combination of type-based norms
ACM Transactions on Programming Languages and Systems, Vol. 29, Núm. 2