Artículos en revistas:
Efficient local unfolding with ancestor stacks
Efficient local unfolding with ancestor stacks
Año:2011
Áreas de investigación
Datos
|
Descripción
|
|
|---|---|
|
Internacional
|
Si |
|
JCR del ISI
|
Si |
|
Título de la revista
|
THEORY AND PRACTICE OF LOGIC PROGRAMMING |
|
ISSN
|
1471-0684 |
|
Factor de impacto JCR
|
1,25 |
|
Información de impacto
|
|
|
Volumen
|
11 |
|
DOI
|
10.1017/S1471068409990263 |
|
Número de revista
|
|
|
Desde la página
|
1 |
|
Hasta la página
|
32 |
|
Mes
|
|
|
Ranking
|
36/99 COMPUTER SCIENCE, SOFTWARE ENGINEERING (SCI); 36/97 COMPUTER SCIENCE, THEORY AND METHODS (SCI) |
Participantes
- Autor:
german puebla (UPM) - Autor: elvira albert
- 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)
- Departamento: Inteligencia Artificial
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)