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

Specification of Adleman's restricted model using an automated reasoning system: Verification of Lipton's experiment

Diaz, CG ; Mateos, FJM; Jimenez, MJP

Tipo: Artículo
Año de Publicación: 2002
Volumen: 2509
Páginas: 126 - 136
Fuente Nº Citas Fecha Actualización
wos021-12-2024

Año:

2011

CiteScore:

1,300

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

SJR año:

2002

Factor de Impacto:

0,374

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)37/85Q2T2D5
Theoretical Computer Science57/81Q3T3D8
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor
1Diaz, CG 
2Mateos, FJM
3Jimenez, MJP