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

Formal proofs about rewriting using ACL2

Ruiz-Reina, JL ; Alonso, JA; Hidalgo, MJ; Martin-Mateos, FJ

Tipo: Artículo
Año de Publicación: 2002
Volumen: 36
Número: 3
Páginas: 239 - 262
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus1429-10-2024
wos829-10-2024
Dimensions
PlumX
Altmetric

Año: 2002

Journal Impact Factor (JIF): 0.3790

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCESCIE49/74Q3T2D7
MATHEMATICS, APPLIEDSCIE118/156Q4T3D8

Año: 2017

Journal Citation Indicator (JCI): 0,600

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE90/170Q3T2D647,35
MATHEMATICS, APPLIED206/304Q3T3D732,40

Año:

2011

CiteScore:

1,400

CategoríaPosiciónCuartilTercilDecil
Applied Mathematics204/381Q3T2D6
Artificial Intelligence105/141Q3T3D8

SJR año:

2002

Factor de Impacto:

0,615

CategoríaPosiciónCuartilTercilDecil
Artificial Intelligence36/96Q2T2D4
Applied Mathematics105/255Q2T2D5
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Ruiz-Reina, JL Universidad de Sevilla (Spain)
2Alonso, JAUniversidad de Sevilla (Spain)
3Hidalgo, MJUniversidad de Sevilla (Spain)
4Martin-Mateos, FJUniversidad de Sevilla (Spain)