- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

Views
Towards a Framework for Proving Termination of Maude Programs 823

Total Visits Per Month

May 2020 June 2020 July 2020 August 2020 September 2020 October 2020 November 2020
Towards a Framework for Proving Termination of Maude Programs 3 1 3 8 2 6 6

File Visits

Views
tesisUPV3551.pdf 687
tesisUPV3551_ResumenCastellano.txt 260
tesisUPV3551.pdf.jpg 136
tesisUPV3551_Indice.pdf 128
tesisUPV3551_EnglishAbstract.txt 90
tesisUPV3551_ResumenValenciano.txt 86
tesisUPV3551_Indice.pdf.jpg 41
tesisUPV3551.pdf.txt 2
tesisUPV3551_Indice.pdf.txt 2
tesisUPV3551_ResumenCastellano.txt.txt 2

Top country views

Views
United States 410
China 95
Spain 75
Germany 66
Russia 59
France 43
Canada 6
Finland 6
Sweden 6
Ukraine 6

Top cities views

Views
Ashburn 126
Beijing 72
Mountain View 57
Redmond 47
Valencia 26
Beverly Hills 23
Saint Petersburg 12
Rioja 11
Grenoble 7
Frankfurt 6