Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| Internal program extraction in the calculus of inductive constructions | 122 |
Total de Visitas por Mes
| agosto 2025 | septiembre 2025 | octubre 2025 | noviembre 2025 | diciembre 2025 | enero 2026 | febrero 2026 | |
|---|---|---|---|---|---|---|---|
| Internal program extraction in the calculus of inductive constructions | 9 | 2 | 0 | 11 | 3 | 7 | 0 |
Total de Descargas
| Visitas | |
|---|---|
| TR0215.pdf | 42 |
Top Países
| Visitas | |
|---|---|
| China | 32 |
| Estados Unidos | 28 |
| Uruguay | 13 |
| Canadá | 12 |
| Brasil | 5 |
| Argentina | 3 |
| Japón | 3 |
| Rusia | 2 |
| Vietnam | 2 |
| Bangladesh | 1 |
Top Ciudades
| Visitas | |
|---|---|
| Beijing | 22 |
| Montevideo | 12 |
| Ottawa | 12 |
| Fairfield | 9 |
| Oakland | 5 |
| Menlo Park | 3 |
| Santa Clara | 3 |
| Shenyang | 3 |
| Hanoi | 2 |
| Mountain View | 2 |