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

Synthesis of positive logic programs for checking a class of definitions with infinite quantification

Galán, Francisco J. ; Cañete-Valdeón, José M.

Tipo: Artículo
Año de Publicación: 2016
Volumen: 249
Páginas: 205 - 236
Acceso abierto: Vía bronce
Fuente Nº Citas Fecha Actualización
scopus013-11-2024
wos013-11-2024
Dimensions
PlumX
Altmetric

Año: 2016

Journal Impact Factor (JIF): 1.050

CategoríaEdiciónPosiciónCuartilTercilDecil
MATHEMATICS, APPLIEDSCIE103/255Q2T2D5
COMPUTER SCIENCE, THEORY & METHODSSCIE65/104Q3T2D7

Año: 2017

Journal Citation Indicator (JCI): 0,680

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, THEORY & METHODS64/132Q2T2D551,89
MATHEMATICS, APPLIED185/304Q3T2D739,31

Año:

2016

CiteScore:

2,600

CategoríaPosiciónCuartilTercilDecil
Computational Theory and Mathematics41/104Q2T2D4
Computer Science Applications210/533Q2T2D4
Theoretical Computer Science44/118Q2T2D4
Information Systems110/250Q2T2D5

SJR año:

2016

Factor de Impacto:

0,724

CategoríaPosiciónCuartilTercilDecil
Information Systems60/284Q1T1D3
Computer Science Applications160/617Q2T1D3
Theoretical Computer Science34/122Q2T1D3
Computational Theory and Mathematics42/127Q2T1D4
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Galán, Francisco J. School of Computer Science and Engineering (Spain)
2Cañete-Valdeón, José M.School of Computer Science and Engineering (Spain)