Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis | 83 |
Total de Visitas por Mes
| noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | mayo 2024 | |
|---|---|---|---|---|---|---|---|
| A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis | 0 | 0 | 0 | 2 | 0 | 0 | 0 |
Total de Descargas
| Visitas | |
|---|---|
| tesis-bove.pdf | 44 |
Top Países
| Visitas | |
|---|---|
| China | 30 |
| Estados Unidos | 30 |
| Uruguay | 9 |
| Polonia | 2 |
| Singapur | 2 |
| Francia | 1 |
| Hong Kong | 1 |
| Japón | 1 |
| Malasia | 1 |
| Filipinas | 1 |
Top Ciudades
| Visitas | |
|---|---|
| Beijing | 15 |
| Fairfield | 10 |
| Montevideo | 9 |
| Santa Clara | 6 |
| Oakland | 5 |
| Nanjing | 4 |
| Shenyang | 4 |
| Ann Arbor | 2 |
| Nanchang | 2 |
| San Diego | 2 |