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

Verified Computer Algebra in ACL2 (Gröbner Bases Computation)

Medina-Bulo, I.; Palomolozano, F.; Alonso-Jiménez, J. A.; Ruiz-Reina, J. L.

Tipo: Artículo
Año de Publicación: 2004
Volumen: 3249
Páginas: 171 - 184
Fuente Nº Citas Fecha Actualización
scopus421-12-2024
Dimensions
PlumX
Altmetric

Año: 2004

Journal Impact Factor (JIF): 0.2510

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCESCIE70/78Q4T3D9
COMPUTER SCIENCE, THEORY & METHODSSCIE53/70Q4T3D8

Año:

2011

CiteScore:

1,300

CategoríaPosiciónCuartilTercilDecil
General Computer Science79/176Q2T2D5
Theoretical Computer Science85/115Q3T3D8

SJR año:

2004

Factor de Impacto:

0,347

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)37/87Q2T2D5
Theoretical Computer Science55/84Q3T2D7
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Medina-Bulo, I.Universidad de Cadiz (Spain)
2Palomolozano, F.Universidad de Cadiz (Spain)
3Alonso-Jiménez, J. A.Universidad de Sevilla (Spain)
4Ruiz-Reina, J. L.Universidad de Sevilla (Spain)