Research Publications in journals:
First-order unification using variable-free relational algebra *
First-order unification using variable-free relational algebra *
Year:2011
Research Areas
Information
|
Abstract
|
|
|---|---|
|
International
|
Si |
|
JCR
|
Si |
|
Title
|
LOGIC JOURNAL OF THE IGPL |
|
ISBN
|
1367-0751 |
|
Impact factor JCR
|
0,458 |
|
Impact info
|
|
|
Volume
|
19 |
|
|
10.1093/jigpal/jzq011 |
|
Journal number
|
6 |
|
From page
|
790 |
|
To page
|
820 |
|
Month
|
SIN MES |
|
Ranking
|
197/276 MATHEMATICS (SCI); 188/235 MATHEMATICS, APPLIED (SCI) |
Participants
- Autor:
emilio jesus gallego arias (UPM) - Autor: james lipton
- Autor: julio marino (UPM)
- Autor: pablo nogueira (UPM)
Research Group, Departaments and Institutes related
- Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2019 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)