Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
Termination analysis of logic programs through combination of type-based norms
Year:2007
Research Areas
  • Programming language
Information
Abstract
Articulo en revista con proceso de revision
International
Si
JCR
Si
Title
ACM T PROGR LANG SYS
ISBN
0164-0925
Impact factor JCR
1,22
Impact info
Volume
29
Journal number
2
From page
1
To page
10
Month
ABRIL
Ranking
Participants
  • 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)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)