Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| Formalizing alternating-time temporal logic in the coq proof assistant | 184 |
Total de Visitas por Mes
| agosto 2025 | septiembre 2025 | octubre 2025 | noviembre 2025 | diciembre 2025 | enero 2026 | febrero 2026 | |
|---|---|---|---|---|---|---|---|
| Formalizing alternating-time temporal logic in the coq proof assistant | 1 | 5 | 2 | 14 | 4 | 6 | 0 |
Total de Descargas
| Visitas | |
|---|---|
| TR1413.pdf | 81 |
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 66 |
| China | 27 |
| Uruguay | 18 |
| Canadá | 15 |
| Rusia | 6 |
| Ucrania | 6 |
| India | 5 |
| Japón | 5 |
| Argentina | 3 |
| Reino Unido | 3 |
Top Ciudades
| Visitas | |
|---|---|
| Montevideo | 18 |
| Ottawa | 12 |
| Fairfield | 11 |
| Santa Clara | 7 |
| Ann Arbor | 5 |
| Beijing | 5 |
| Buffalo | 4 |
| Jacksonville | 4 |
| Mountain View | 4 |
| Oakland | 4 |