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

  1. Bruynooghe, M.
  2. Codish, M.
  3. Gallagher, J.P.
  4. Genaim, S.
  5. Vanhoof, W.
Revista:
ACM Transactions on Programming Languages and Systems

ISSN: 1558-4593,  0164-0925

Año de publicación: 2007

Volumen: 29

Número: 2

Tipo: Artículo

DOI: 10.1145/1216374.1216378 GOOGLE SCHOLAR
Fuente de los datos: Scopus