Ver Publicación - Prisma - Unidad de Bibliometría

Formal correctness of a quadratic unification algorithm

Ruiz-Reina, José Luis ; Martín-Mateos, Francisco Jesús; Alonso, José Antonio; Hidalgo, María José

Tipo: Artículo
Año de Publicación: 2006
Volumen: 37
Número: 1-2
Páginas: 67 - 92
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus613-11-2024
wos613-11-2024
Dimensions
PlumX
Altmetric

Año: 2006

Journal Impact Factor (JIF): 0.6080

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCESCIE61/85Q3T3D8

Año: 2017

Journal Citation Indicator (JCI): 0,730

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE75/170Q2T2D556,18

Año:

2011

CiteScore:

4,500

CategoríaPosiciónCuartilTercilDecil
Computational Theory and Mathematics13/97Q1T1D2
Software68/357Q1T1D2
Artificial Intelligence33/141Q1T1D3

SJR año:

2006

Factor de Impacto:

0,695

CategoríaPosiciónCuartilTercilDecil
Artificial Intelligence33/117Q2T1D3
Software76/275Q2T1D3
Computational Theory and Mathematics41/84Q2T2D5
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Ruiz-Reina, José Luis Universidad de Sevilla (Spain)
2Martín-Mateos, Francisco JesúsUniversidad de Sevilla (Spain)
3Alonso, José AntonioUniversidad de Sevilla (Spain)
4Hidalgo, María JoséUniversidad de Sevilla (Spain)