Visualizaciones | |
---|---|
Termination of Narrowing: Automated Proofs and Modularity Properties | 689 |
noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | mayo 2024 | |
---|---|---|---|---|---|---|---|
Termination of Narrowing: Automated Proofs and Modularity Properties | 3 | 7 | 3 | 13 | 2 | 6 | 5 |
Visualizaciones | |
---|---|
tesisUPV3392.pdf | 665 |
tesisUPV3392.pdf.jpg | 176 |
tesisUPV3392_Indice.pdf | 164 |
tesisUPV3392_ResumenCastellano.txt | 104 |
tesisUPV3392_EnglishAbstract.txt | 100 |
tesisUPV3392_ResumenValenciano.txt | 69 |
tesisUPV3392_Indice.pdf.jpg | 6 |
tesisUPV3392.pdf.txt | 2 |
tesisUPV3392_Indice.pdf.txt | 2 |
tesisUPV3392_ResumenCastellano.txt.txt | 2 |
Visualizaciones | |
---|---|
Estados Unidos | 333 |
España | 82 |
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 |