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

Formalizing rewriting in the ACL2 theorem prover

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

Tipo: Artículo
Año de Publicación: 2001
Volumen: 1930
Páginas: 92 - 106
Fuente Nº Citas Fecha Actualización
wos220-04-2024

Año:

2011

CiteScore:

1,300

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

SJR año:

2001

Factor de Impacto:

0,399

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)31/84Q2T2D4
Theoretical Computer Science45/78Q3T2D6
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación