BackStatistics
Total Visits
| Views | |
|---|---|
| Tableaux ... | 41 |
Total Visits Per Month
| June 2024 | July 2024 | August 2024 | September 2024 | October 2024 | November 2024 | December 2024 | |
|---|---|---|---|---|---|---|---|
| Tableaux ... | 1 | 0 | 2 | 3 | 0 | 1 | 0 |
File Visits
| Views | |
|---|---|
| Tableaux_and_Sequent_Calculi_for_CTL_and_ECTL__Satisfiability_Test_with_Certifying_Proofs_and_Models.pdf | 3 |
Top country views
| Views | |
|---|---|
| Spain | 27 |
| United States | 8 |
| Austria | 1 |
| China | 1 |
| Finland | 1 |
| France | 1 |
| South Korea | 1 |
Top cities views
| Views | |
|---|---|
| San Sebastian | 10 |
| Santa Coloma de Gramenet | 9 |
| Leioa | 4 |
| Bilbao | 3 |
| San Diego | 3 |
| Boardman | 2 |
| Itasca | 2 |
| Nanjing | 1 |