Última actualización: 9 Abril 2019

Conferencia INTERNATIONAL CONFERENCE ON THEOREM PROVING IN HIGHER ORDER LOGICS (WPHOL)

Resultados desde año

a año

CORE	2008	2009	2010	2011	2012	2013	2014
Valoracion	A	A	?	?	?	A	A
Categorias
Computation Theory And Mathematics	-	40/261 (top 16%, Q1)	?	?	?	43/239 (top 18%, Q1)	40/238 (top 17%, Q1)
Unknown	335/996 (top 34%, Q2)	-	?	?	?	53/202 (top 27%, Q2)	-
Unknown Category	335/996 (top 34%, Q2)	-	?	?	?	-	-

Datos obtenidos de los índices:

Año	Indice	Descripción
2008	CORE	CORE completo
2009	CORE	CORE completo
2013	CORE-c	CORE Conferencias
2014	CORE-c	CORE Conferencias

Realizar nueva búsqueda Volver al menú principal

emena@unizar.es
Sep. 12, 2010