Estatísticas para From cut-free calculi to automated deduction: the case of bounded contraction
Total de visitas
| views | |
|---|---|
| From cut-free calculi to automated deduction: the case of bounded contraction | 137 |
Total visitas por mês
| views | |
|---|---|
| janeiro 2025 | 5 |
| fevereiro 2025 | 1 |
| março 2025 | 5 |
| abril 2025 | 8 |
| maio 2025 | 0 |
| junho 2025 | 0 |
| julho 2025 | 0 |
Visitas Arquivos
| views | |
|---|---|
| FromCut-freeCalculi_VEGA_2017.pdf | 32 |
Maiores visualizações por país
| views | |
|---|---|
| Estados Unidos | 56 |
| Suécia | 16 |
| Brasil | 12 |
| China | 11 |
| Irlanda | 8 |
| Países Baixos | 6 |
| Alemanha | 4 |
| Reino Unido | 4 |
| Rússia | 4 |
| Finlândia | 2 |
| França | 2 |
| Canadá | 1 |
| Jamaica | 1 |
| Mongólia | 1 |
| Polônia | 1 |
| Sérvia | 1 |
| Singapura | 1 |
| Turquia | 1 |
| Venezuela | 1 |
| Vietnã | 1 |
Maiores visualizações por cidade
| views | |
|---|---|
| Dublin | 7 |
| Natal | 5 |
| Ashburn | 3 |
| Zhengzhou | 3 |
| Campo Grande | 2 |
| Paris | 2 |
| San Mateo | 2 |
| Alvorada | 1 |
| Amsterdam | 1 |
| Andover | 1 |
| Ankara | 1 |
| Beijing | 1 |
| Boardman | 1 |
| Chongqing | 1 |
| Des Moines | 1 |
| Duque de Caxias | 1 |
| Kingston | 1 |
| Maceió | 1 |
| Parnamirim | 1 |
| Puyang Chengguanzhen | 1 |
| Shanghai | 1 |
| Singapore | 1 |
| Stockholm | 1 |
| São Paulo | 1 |
| Vranje | 1 |
| Wuhan | 1 |