- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

Views
Termination of Narrowing: Automated Proofs and Modularity Properties 486

Total Visits Per Month

March 2020 April 2020 May 2020 June 2020 July 2020 August 2020 September 2020
Termination of Narrowing: Automated Proofs and Modularity Properties 13 1 4 1 3 3 1

File Visits

Views
tesisUPV3392.pdf 461
tesisUPV3392.pdf.jpg 176
tesisUPV3392_Indice.pdf 125
tesisUPV3392_ResumenCastellano.txt 94
tesisUPV3392_EnglishAbstract.txt 89
tesisUPV3392_ResumenValenciano.txt 62
tesisUPV3392_Indice.pdf.jpg 6
tesisUPV3392.pdf.txt 2
tesisUPV3392_Indice.pdf.txt 2
tesisUPV3392_ResumenCastellano.txt.txt 2

Top country views

Views
United States 269
Spain 62
China 51
Germany 44
France 16
Russia 13
Canada 4
Finland 4
United Kingdom 3
Netherlands 3

Top cities views

Views
Ashburn 122
Redmond 38
Beijing 36
Mountain View 19
Valencia 19
Rioja 12
Parla 8
Fremont 7
Saint Petersburg 6
Villeurbanne 6