BackStatistics
Total Visits
| Views | |
|---|---|
| Tableaux ... | 52 |
Total Visits Per Month
| November 2024 | December 2024 | January 2025 | February 2025 | March 2025 | April 2025 | May 2025 | |
|---|---|---|---|---|---|---|---|
| Tableaux ... | 1 | 0 | 2 | 3 | 1 | 0 | 5 |
File Visits
| Views | |
|---|---|
| Tableaux_and_Sequent_Calculi_for_CTL_and_ECTL__Satisfiability_Test_with_Certifying_Proofs_and_Models.pdf | 4 |
| Tableaux_and_Sequent_Calculi_for_CTL_and_ECTL__Satisfiability_Test_with_Certifying_Proofs_and_Models.pdf | 3 |
Top country views
| Views | |
|---|---|
| Spain | 28 |
| United States | 11 |
| Austria | 1 |
| China | 1 |
| Germany | 1 |
| Finland | 1 |
| France | 1 |
| South Korea | 1 |
| Singapore | 1 |
Top cities views
| Views | |
|---|---|
| San Sebastian | 10 |
| Santa Coloma de Gramenet | 9 |
| Leioa | 4 |
| Bilbao | 3 |
| San Diego | 3 |
| San Mateo | 3 |
| Boardman | 2 |
| Itasca | 2 |
| Azpeitia | 1 |
| Nanjing | 1 |