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

Verification in ACL2 of a generic framework to synthesize SAT-provers

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

Tipo: Artículo
Año de Publicación: 2003
Volumen: 2664
Páginas: 182 - 198
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus121-12-2024
wos021-12-2024
Dimensions
PlumX
Altmetric

Año:

2011

CiteScore:

1,300

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

SJR año:

2003

Factor de Impacto:

0,410

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)36/88Q2T2D5
Theoretical Computer Science50/82Q3T2D7
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación