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

Modelling algebraic structures and morphisms in ACL2

Heras, Jónathan ; Martín-Mateos, Francisco Jesús; Pascual, Vico

Tipo: Artículo
Año de Publicación: 2015
Volumen: 26
Número: 3
Número de artículo: 252
Páginas: 277 - 303
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus929-10-2024
wos729-10-2024
Dimensions
PlumX
Altmetric

Año: 2015

Journal Impact Factor (JIF): 0.370

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONSSCIE102/104Q4T3D10
COMPUTER SCIENCE, THEORY & METHODSSCIE100/105Q4T3D10
MATHEMATICS, APPLIEDSCIE237/254Q4T3D10

Año: 2017

Journal Citation Indicator (JCI): 0,340

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS111/136Q4T3D918,75
COMPUTER SCIENCE, THEORY & METHODS104/132Q4T3D821,59
MATHEMATICS, APPLIED261/304Q4T3D914,31

Año:

2015

CiteScore:

1,000

CategoríaPosiciónCuartilTercilDecil
Algebra and Number Theory43/76Q3T2D6
Applied Mathematics306/407Q4T3D8

SJR año:

2015

Factor de Impacto:

0,325

CategoríaPosiciónCuartilTercilDecil
Applied Mathematics307/463Q3T2D7
Algebra and Number Theory63/89Q4T3D8
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
European Union\'s 7th Framework Programme243847
Ministerio de Educacion y CienciaMTM2009-13842-C02-01
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Heras, Jónathan Universidad de La Rioja (Spain)
2Martín-Mateos, Francisco JesúsUniversidad de Sevilla (Spain)
3Pascual, VicoUniversidad de La Rioja (Spain)