Visualizaciones | |
---|---|
Termination of Narrowing: Automated Proofs and Modularity Properties | 721 |
mayo 2024 | junio 2024 | julio 2024 | agosto 2024 | septiembre 2024 | octubre 2024 | noviembre 2024 | |
---|---|---|---|---|---|---|---|
Termination of Narrowing: Automated Proofs and Modularity Properties | 5 | 2 | 7 | 5 | 11 | 2 | 5 |
Visualizaciones | |
---|---|
tesisUPV3392.pdf | 694 |
tesisUPV3392_Indice.pdf | 177 |
tesisUPV3392.pdf.jpg | 176 |
tesisUPV3392_ResumenCastellano.txt | 109 |
tesisUPV3392_EnglishAbstract.txt | 107 |
tesisUPV3392_ResumenValenciano.txt | 77 |
tesisUPV3392_Indice.pdf.jpg | 6 |
tesisUPV3392.pdf.txt | 2 |
tesisUPV3392_Indice.pdf.txt | 2 |
tesisUPV3392_ResumenCastellano.txt.txt | 2 |
Visualizaciones | |
---|---|
Estados Unidos | 347 |
España | 85 |
China | 75 |
Alemania | 50 |
Rusia | 33 |
Francia | 18 |
Suecia | 12 |
Irlanda | 9 |
Canadá | 8 |
Reino Unido | 7 |
Visualizaciones | |
---|---|
Ashburn | 138 |
Beijing | 42 |
Redmond | 38 |
Mountain View | 26 |
Valencia | 20 |
Guangzhou | 13 |
Rioja | 12 |
Louisville | 10 |
Saint Petersburg | 9 |
Parla | 8 |