Artículos en revistas:
First-order unification using variable-free relational algebra *
First-order unification using variable-free relational algebra *
Año:2011
Áreas de investigación
Datos
|
Descripción
|
|
|---|---|
|
Internacional
|
Si |
|
JCR del ISI
|
Si |
|
Título de la revista
|
LOGIC JOURNAL OF THE IGPL |
|
ISSN
|
1367-0751 |
|
Factor de impacto JCR
|
0,458 |
|
Información de impacto
|
|
|
Volumen
|
19 |
|
DOI
|
10.1093/jigpal/jzq011 |
|
Número de revista
|
6 |
|
Desde la página
|
790 |
|
Hasta la página
|
820 |
|
Mes
|
SIN MES |
|
Ranking
|
197/276 MATHEMATICS (SCI); 188/235 MATHEMATICS, APPLIED (SCI) |
Participantes
- Autor:
emilio jesus gallego arias (UPM) - Autor: james lipton
- Autor: julio marino (UPM)
- Autor: pablo nogueira (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
- Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2022 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)