Estatísticas para A mechanized proof of a textbook type unification algorithm.
Total de visitas
| views | |
|---|---|
| A mechanized proof of a textbook type unification algorithm. | 96 |
Total visitas por mês
| views | |
|---|---|
| março 2024 | 1 |
| abril 2024 | 1 |
| maio 2024 | 5 |
| junho 2024 | 0 |
| julho 2024 | 0 |
| agosto 2024 | 0 |
| setembro 2024 | 0 |
Visitas Arquivos
| views | |
|---|---|
| ARTIGO_MechanizedProofTextbook.pdf | 15 |
Maiores visualizações por país
| views | |
|---|---|
| Estados Unidos | 68 |
| Singapura | 9 |
| Vietnã | 8 |
| Brasil | 7 |
| Hungria | 2 |
| Alemanha | 1 |
| Reino Unido | 1 |
Maiores visualizações por cidade
| views | |
|---|---|
| Hanoi | 8 |
| Washington | 4 |
| Budapest | 2 |
| Hammond | 2 |
| Ouro Preto | 2 |
| Alvinopolis | 1 |
| Ashburn | 1 |
| Cachoeiro de Itapemirim | 1 |
| Cambridge | 1 |
| Corona | 1 |
| Itabirito | 1 |
| Manhuacu | 1 |
| Vicosa | 1 |