Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses
Año:2010
Áreas de investigación
Datos
Descripción
Internacional
Si
JCR del ISI
Si
Título de la revista
NEW GENERATION COMPUTING
ISSN
0288-3635
Factor de impacto JCR
0,412
Información de impacto
Volumen
28
DOI
Número de revista
2
Desde la página
177
Hasta la página
206
Mes
SIN MES
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: pedro lopez-garcia
  • Autor: francisco bueno (UPM)
  • Autor: manuel hermenegildo (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: No seleccionado
  • Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
S2i 2023 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)