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

A formal proof of Dickson's Lemma in ACL2

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

Tipo: Artículo
Año de Publicación: 2003
Volumen: 2850
Páginas: 49 - 58
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus721-12-2024
wos721-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