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

A formally verified prover for the ALC description logic

Alonso, José Antonio; Borrego-Díaz, Joaquín; Hidalgo, María José; Martín-Mateos, Francisco Jesus; Ruiz-Reina, José Luis

Tipo: Ponencia
Año de Publicación: 2007
Volumen: 4732 LNCS
Páginas: 135 - 150
Fuente Nº Citas Fecha Actualización
scopus620-04-2024
Dimensions
PlumX
Altmetric

Año:

2011

CiteScore:

1,300

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

SJR año:

2007

Factor de Impacto:

0,293

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)59/132Q2T2D5
Theoretical Computer Science77/101Q3T3D8
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Alonso, José AntonioUniversidad de Sevilla (Spain)
2Borrego-Díaz, JoaquínUniversidad de Sevilla (Spain)
3Hidalgo, María JoséUniversidad de Sevilla (Spain)
4Martín-Mateos, Francisco JesusUniversidad de Sevilla (Spain)
5Ruiz-Reina, José LuisUniversidad de Sevilla (Spain)