Estatísticas para A Mechanized Proof of Kleene’s Theorem in Why3
Total de visitas
| views | |
|---|---|
| A Mechanized Proof of Kleene’s Theorem in Why3 | 57 |
Total de visitas por mês
| views | |
|---|---|
| outubro 2025 | 4 |
| novembro 2025 | 4 |
| dezembro 2025 | 5 |
| janeiro 2026 | 2 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
Downloads
| views | |
|---|---|
| Trindade_2021.pdf | 176 |
| Between_past_and_future.pdf | 1 |
| Parte _II_Analise_TD_ PM.pdf | 1 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 22 |
| Brasil | 6 |
| Estados Unidos | 5 |
| China | 3 |
| Região desconhecida | 3 |
| Estónia | 2 |
| Suíça | 1 |
| Alemanha | 1 |
| Etiópia | 1 |
| Reino Unido | 1 |
| Indonésia | 1 |
| Índia | 1 |
| Irão | 1 |
| Cazaquistão | 1 |
| Sri Lanca | 1 |
| Arábia Saudita | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Corroios | 2 |