Roskilde University-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2007

  1. Termination analysis of logic programs through combination of type-based norms

    ACM Transactions on Programming Languages and Systems, Vol. 29, Núm. 2