Visualizaciones | |
---|---|
Towards a Framework for Proving Termination of Maude Programs | 950 |
octubre 2023 | noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | |
---|---|---|---|---|---|---|---|
Towards a Framework for Proving Termination of Maude Programs | 3 | 2 | 4 | 3 | 12 | 3 | 3 |
Visualizaciones | |
---|---|
tesisUPV3551.pdf | 1639 |
tesisUPV3551_ResumenCastellano.txt | 272 |
tesisUPV3551_Indice.pdf | 150 |
tesisUPV3551.pdf.jpg | 136 |
tesisUPV3551_EnglishAbstract.txt | 102 |
tesisUPV3551_ResumenValenciano.txt | 96 |
tesisUPV3551_Indice.pdf.jpg | 41 |
tesisUPV3551.pdf.txt | 2 |
tesisUPV3551_Indice.pdf.txt | 2 |
tesisUPV3551_ResumenCastellano.txt.txt | 2 |
Visualizaciones | |
---|---|
Estados Unidos | 452 |
China | 111 |
España | 100 |
Alemania | 69 |
Rusia | 59 |
Francia | 45 |
Irlanda | 23 |
Canadá | 12 |
Suecia | 8 |
Finlandia | 6 |
Visualizaciones | |
---|---|
Ashburn | 138 |
Beijing | 76 |
Mountain View | 60 |
Redmond | 47 |
Valencia | 33 |
Beverly Hills | 23 |
Dublin | 23 |
Saint Petersburg | 12 |
Rioja | 11 |
Hangzhou | 10 |