Memorias de investigación
Artículos en revistas:
Closed-Form Upper Bounds in Static Cost Analysis
Año:2011

Áreas de investigación

Datos
Descripción
Internacional
Si
JCR del ISI
Si
Título de la revista
JOURNAL OF AUTOMATED REASONING
ISSN
0168-7433
Factor de impacto JCR
2,26
Información de impacto
Volumen
46
DOI
10.1007/s10817-010-9174-1
Número de revista
2
Desde la página
161
Hasta la página
203
Mes
Ranking
22/108 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE (SCI)

Esta actividad pertenece a memorias de investigación

Participantes
  • Autor: elvira albert
  • Autor: puri arenas
  • Autor: samir genaim
  • Autor: german puebla 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)