Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| Internal program extraction in the calculus of inductive constructions | 62 |
Total de Visitas por Mes
Total de Descargas
| Visitas | |
|---|---|
| TR0215.pdf | 23 |
Top Países
| Visitas | |
|---|---|
| China | 29 |
| Estados Unidos | 19 |
| Uruguay | 4 |
| Argentina | 2 |
| Francia | 1 |
| Irlanda | 1 |
Top Ciudades
| Visitas | |
|---|---|
| Beijing | 21 |
| Fairfield | 9 |
| Oakland | 5 |
| Montevideo | 4 |
| Santa Clara | 3 |
| Shenyang | 3 |
| Buenos Aires | 1 |
| Dublin | 1 |
| Hangzhou | 1 |
| Jacksonville | 1 |