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

Proof Pearl: a Formal Proof of Higman's Lemma in ACL2

Martín-Mateos, Francisco Jesús; Ruiz-Reina, José Luis ; Alonso, José Antonio; Hidalgo, María José

Tipo: Artículo
Año de Publicación: 2011
Volumen: 47
Número: 3
Páginas: 229 - 250
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus313-11-2024
wos413-11-2024
Dimensions
PlumX
Altmetric

Año: 2011

Journal Impact Factor (JIF): 0.7140

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCESCIE79/111Q3T3D8

Año: 2017

Journal Citation Indicator (JCI): 0,730

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE75/170Q2T2D556,18

Año:

2011

CiteScore:

4,500

CategoríaPosiciónCuartilTercilDecil
Computational Theory and Mathematics13/97Q1T1D2
Software68/357Q1T1D2
Artificial Intelligence33/141Q1T1D3

SJR año:

2011

Factor de Impacto:

0,875

CategoríaPosiciónCuartilTercilDecil
Software67/335Q1T1D2
Artificial Intelligence43/158Q2T1D3
Computational Theory and Mathematics34/107Q2T1D4
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
Spanish Ministry of Science and InnovationMTM2009-13842-C02-02
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Martín-Mateos, Francisco JesúsUniversidad de Sevilla (Spain)
2Ruiz-Reina, José Luis Universidad de Sevilla (Spain)
3Alonso, José AntonioUniversidad de Sevilla (Spain)
4Hidalgo, María JoséUniversidad de Sevilla (Spain)