SAMIR
GENAIM
Profesor contratado doctor
University of Namur
Namur, BélgicaUniversity of Namur-ko ikertzaileekin lankidetzan egindako argitalpenak (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