Visualizaciones | |
---|---|
Termination of Narrowing: Automated Proofs and Modularity Properties | 712 |
marzo 2024 | abril 2024 | mayo 2024 | junio 2024 | julio 2024 | agosto 2024 | septiembre 2024 | |
---|---|---|---|---|---|---|---|
Termination of Narrowing: Automated Proofs and Modularity Properties | 2 | 6 | 5 | 2 | 7 | 5 | 9 |
Visualizaciones | |
---|---|
tesisUPV3392.pdf | 690 |
tesisUPV3392.pdf.jpg | 176 |
tesisUPV3392_Indice.pdf | 173 |
tesisUPV3392_ResumenCastellano.txt | 107 |
tesisUPV3392_EnglishAbstract.txt | 105 |
tesisUPV3392_ResumenValenciano.txt | 75 |
tesisUPV3392_Indice.pdf.jpg | 6 |
tesisUPV3392.pdf.txt | 2 |
tesisUPV3392_Indice.pdf.txt | 2 |
tesisUPV3392_ResumenCastellano.txt.txt | 2 |
Visualizaciones | |
---|---|
Estados Unidos | 343 |
España | 84 |
China | 74 |
Alemania | 50 |
Rusia | 33 |
Francia | 18 |
Suecia | 12 |
Irlanda | 9 |
Canadá | 8 |
Reino Unido | 5 |
Visualizaciones | |
---|---|
Ashburn | 138 |
Beijing | 41 |
Redmond | 38 |
Mountain View | 25 |
Valencia | 20 |
Guangzhou | 13 |
Rioja | 12 |
Louisville | 10 |
Saint Petersburg | 9 |
Parla | 8 |