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
scopus028-01-2023
wos028-01-2023
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/251Q1T1D3
Theoretical Computer Science34/116Q2T1D3
Computer Science Applications161/531Q2T1D4
Computational Theory and Mathematics41/109Q2T2D4
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)