- -

Estadísticas

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

Estadísticas

Número total de visitas

Visualizaciones
Symbolic Analysis of Maude Theories with Narval 86

Visitas al mes

marzo 2024 abril 2024 mayo 2024 junio 2024 julio 2024 agosto 2024 septiembre 2024
Symbolic Analysis of Maude Theories with Narval 5 3 0 1 4 4 4

Visitas al fichero

Visualizaciones
Alpuente;Escobar;Sapiña-Sanchis - Symbolic Analysis of Maude Theories with Narval.pdf 177

Países con más visualizaciones

Visualizaciones
Estados Unidos 33
España 14
China 9
Irlanda 8
Alemania 6
Francia 6
Luxemburgo 2
Bélgica 1
Finlandia 1
Indonesia 1

Ciudades con más visualizaciones

Visualizaciones
Louisville 9
Dublin 8
Grenoble 6
Mountain View 5
San Mateo 5
Madrid 4
Zhengzhou 4
Alameda 2
Costa Mesa 2
Menlo Park 2