Visualizaciones | |
---|---|
Termination of Narrowing: Automated Proofs and Modularity Properties | 684 |
octubre 2023 | noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | |
---|---|---|---|---|---|---|---|
Termination of Narrowing: Automated Proofs and Modularity Properties | 14 | 3 | 7 | 3 | 13 | 2 | 6 |
Visualizaciones | |
---|---|
tesisUPV3392.pdf | 662 |
tesisUPV3392.pdf.jpg | 176 |
tesisUPV3392_Indice.pdf | 164 |
tesisUPV3392_ResumenCastellano.txt | 103 |
tesisUPV3392_EnglishAbstract.txt | 99 |
tesisUPV3392_ResumenValenciano.txt | 68 |
tesisUPV3392_Indice.pdf.jpg | 6 |
tesisUPV3392.pdf.txt | 2 |
tesisUPV3392_Indice.pdf.txt | 2 |
tesisUPV3392_ResumenCastellano.txt.txt | 2 |
Visualizaciones | |
---|---|
Estados Unidos | 329 |
España | 81 |
China | 71 |
Alemania | 50 |
Rusia | 33 |
Francia | 18 |
Suecia | 12 |
Canadá | 8 |
Reino Unido | 5 |
Irlanda | 5 |
Visualizaciones | |
---|---|
Ashburn | 138 |
Beijing | 40 |
Redmond | 38 |
Mountain View | 23 |
Valencia | 20 |
Guangzhou | 13 |
Rioja | 12 |
Louisville | 10 |
Saint Petersburg | 9 |
Parla | 8 |