Estatísticas para Mechanizing focused linear logic in coq
Total de visitas
| views | |
|---|---|
| Mechanizing focused linear logic in coq | 119 |
Total visitas por mês
| views | |
|---|---|
| fevereiro 2025 | 6 |
| março 2025 | 2 |
| abril 2025 | 5 |
| maio 2025 | 0 |
| junho 2025 | 0 |
| julho 2025 | 0 |
| agosto 2025 | 0 |
Visitas Arquivos
| views | |
|---|---|
| MechanizingFocusedLinear_VEGA_2018.pdf | 63 |
Maiores visualizações por país
| views | |
|---|---|
| Estados Unidos | 45 |
| Suécia | 18 |
| Brasil | 15 |
| Irlanda | 9 |
| China | 6 |
| Alemanha | 5 |
| Rússia | 4 |
| Bélgica | 3 |
| Reino Unido | 2 |
| Canadá | 1 |
| Egito | 1 |
| Finlândia | 1 |
| Índia | 1 |
| México | 1 |
| Polônia | 1 |
| Romênia | 1 |
| Singapura | 1 |
| Venezuela | 1 |
| Vietnã | 1 |
Maiores visualizações por cidade
| views | |
|---|---|
| Dublin | 7 |
| João Pessoa | 4 |
| Natal | 3 |
| Ashburn | 2 |
| Des Moines | 2 |
| Moscow | 2 |
| Zhengzhou | 2 |
| Anaheim | 1 |
| Andover | 1 |
| Apiuna | 1 |
| Aptos | 1 |
| Aracaju | 1 |
| Brasília | 1 |
| Bucharest | 1 |
| Buffalo | 1 |
| Cairo | 1 |
| Campinas | 1 |
| Choctaw | 1 |
| Frankfurt am Main | 1 |
| Kaifeng | 1 |
| Kamalganj | 1 |
| Messias Targino | 1 |
| Newark | 1 |
| Palhoca | 1 |
| Praia Grande | 1 |
| San Mateo | 1 |
| Singapore | 1 |
| Stoke-on-Trent | 1 |
| Tlalpan | 1 |
| Xinxiang | 1 |
| Yichang | 1 |