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

Formalizing rewriting in the ACL2 theorem prover

Ruiz-Reina, José Luis; Alonso, José Antonio; Hidalgo, María José; Martín-Mateos, Francisco Jesús

Tipo: Ponencia
Año de Publicación: 2001
Volumen: 1930
Páginas: 92 - 106
Fuente Nº Citas Fecha Actualización
scopus323-03-2024
Dimensions
PlumX
Altmetric

Año: 2001

Journal Impact Factor (JIF): 0,415

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, THEORY & METHODSSCIE46/71Q3T2D7

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
# Autor Afiliación
1Ruiz-Reina, José LuisUniversidad de Sevilla (Spain)
2Alonso, José AntonioUniversidad de Sevilla (Spain)
3Hidalgo, María JoséUniversidad de Sevilla (Spain)
4Martín-Mateos, Francisco JesúsUniversidad de Sevilla (Spain)