Memorias de investigación
Artículos en revistas:
Type-based Homeomorphic Embedding for Online Termination
Año:2009

Áreas de investigación
  • Lenguaje de programación

Datos
Descripción
Articulo en revista indexada en JCR
Internacional
Si
JCR del ISI
Si
Título de la revista
INFORMATION PROCESSING LETTERS
ISSN
0020-0190
Factor de impacto JCR
0,706
Información de impacto
Volumen
109
DOI
10.1016/j.ipl.2009.04.016
Número de revista
15
Desde la página
879
Hasta la página
886
Mes
JULIO
Ranking

Esta actividad pertenece a memorias de investigación

Participantes

Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software