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

Existentially Closed Models and Conservation Results in Bounded Arithmetic

Cordón-Franco, A. ; Fernnádez-Margarit, A.; Lara-Martín, F. F.

Tipo: Artículo
Año de Publicación: 2009
Volumen: 19
Número: 1
Páginas: 123 - 143
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus118-05-2024
wos118-05-2024
Dimensions
PlumX
Altmetric

Año: 2009

Journal Impact Factor (JIF): 0,789

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, THEORY & METHODSSCIE63/92Q3T3D7

Año: 2017

Journal Citation Indicator (JCI): 1,040

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, THEORY & METHODS36/132Q2T1D373,11
LOGIC8/25Q2T1D470,00

Año:

2011

CiteScore:

2,100

CategoríaPosiciónCuartilTercilDecil
Logic6/22Q1T1D3
Arts and Humanities (miscellaneous)101/264Q2T2D4
Hardware and Architecture66/134Q2T2D5
Theoretical Computer Science49/115Q2T2D5
Software189/357Q3T2D6

SJR año:

2009

Factor de Impacto:

0,586

CategoríaPosiciónCuartilTercilDecil
Hardware and Architecture26/118Q1T1D3
Arts and Humanities (miscellaneous)108/345Q2T1D4
Logic8/24Q2T1D4
Software104/302Q2T2D4
Theoretical Computer Science50/105Q2T2D5
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Cordón-Franco, A. Universidad de Sevilla (Spain)
2Fernnádez-Margarit, A.Universidad de Sevilla (Spain)
3Lara-Martín, F. F.Universidad de Sevilla (Spain)