Memorias de investigación
Research Publications in journals:
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses
Year:2010

Research Areas

Information
Abstract
International
Si
JCR
Si
Title
NEW GENERATION COMPUTING
ISBN
0288-3635
Impact factor JCR
0,412
Impact info
Volume
28
Journal number
2
From page
177
To page
206
Month
SIN MES
Ranking
Participants

Research Group, Departaments and Institutes related
  • Creador: No seleccionado
  • Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)