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

Verifying an applicative ATP using multiset relations

Martin-Mateos, Francisco J.; Alonso, Jose A.; Hidalgo, Maria J.; Ruiz-Reina, Jose L.

Tipo: Ponencia
Año de Publicación: 2001
Volumen: 2178 LNCS
Páginas: 612 - 626
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus013-11-2024
Dimensions
PlumX
Altmetric

Año: 2001

Journal Impact Factor (JIF): 0.4150

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
1Martin-Mateos, Francisco J.Universidad de Sevilla (Spain)
2Alonso, Jose A.Universidad de Sevilla (Spain)
3Hidalgo, Maria J.Universidad de Sevilla (Spain)
4Ruiz-Reina, Jose L.Universidad de Sevilla (Spain)