Memorias de investigación
Artículos en revistas:
Termination analysis of logic programs through combination of type-based norms
Año:2007
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Articulo en revista con proceso de revision
Internacional
Si
JCR del ISI
Si
Título de la revista
ACM T PROGR LANG SYS
ISSN
0164-0925
Factor de impacto JCR
1,22
Información de impacto
Volumen
29
DOI
Número de revista
2
Desde la página
1
Hasta la página
10
Mes
ABRIL
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: John Gallagher Roskilde University, Roskilde, Denmark
  • Autor: Michael Codish Ben-Gurion University of the Negev, Beer-Sheva, Israel
  • Autor: Samir Genaim . UPM
  • Autor: Wim Vanhoof University of Namur, Namur, Belgium
  • Autor: Maurice Bruynooghe Katholieke Universiteit Leuven, Heverlee, Belgium
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial