- -

Estadísticas

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Estadísticas

Número total de visitas

Visualizaciones
Proving Termination in the Context-Sensitive Dependency Pair Framework 50

Visitas al mes

noviembre 2023 diciembre 2023 enero 2024 febrero 2024 marzo 2024 abril 2024 mayo 2024
Proving Termination in the Context-Sensitive Dependency Pair Framework 0 0 25 19 2 0 4

Visitas al fichero

Visualizaciones
GutierrezLucas - Proving Termination in the Context-Sensitive Dependency Pair Framework.pdf 13

Países con más visualizaciones

Visualizaciones
Estados Unidos 36
Francia 6
Alemania 3
Bulgaria 1
Irlanda 1
Corea del Sur 1
Noruega 1

Ciudades con más visualizaciones

Visualizaciones
Houston 8
Mountain View 5
Alameda 4
Ashburn 4
Pride 2
Buffalo 1
Dublin 1
Newark 1