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

On the quantifier complexity of Delta(n+1)(T)-induction

Cordón-Franco, A. ; Fernández-Margarit, A.; Lara-Martín, F. F.

Tipo: Artículo
Año de Publicación: 2004
Volumen: 43
Número: 3
Páginas: 371 - 398
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus629-10-2024
wos429-10-2024
Dimensions
PlumX
Altmetric

Año: 2004

Journal Impact Factor (JIF): 0.2950

CategoríaEdiciónPosiciónCuartilTercilDecil
MATHEMATICSSCIE133/181Q3T3D8

Año: 2017

Journal Citation Indicator (JCI): 0,700

CategoríaPosiciónCuartilTercilDecilPercentil
LOGIC16/25Q3T2D738,00
MATHEMATICS236/462Q3T2D649,03

Año:

2011

CiteScore:

0,700

CategoríaPosiciónCuartilTercilDecil
Philosophy96/327Q2T1D3
Logic18/22Q4T3D9

SJR año:

2004

Factor de Impacto:

0,401

CategoríaPosiciónCuartilTercilDecil
Philosophy33/272Q1T1D2
Logic9/21Q2T2D5
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)
2Fernández-Margarit, A.Universidad de Sevilla (Spain)
3Lara-Martín, F. F.Universidad de Sevilla (Spain)