Statistics
Total Visits
| Views | |
|---|---|
| Proving ... | 57 |
Total Visits Per Month
| October 2023 | November 2023 | December 2023 | January 2024 | February 2024 | March 2024 | April 2024 | |
|---|---|---|---|---|---|---|---|
| Proving ... | 2 | 0 | 2 | 1 | 3 | 15 | 3 |
File Visits
| Views | |
|---|---|
| Proving Safety Properties of Rewrite Theories.pdf | 11 |
Top country views
| Views | |
|---|---|
| United States | 29 |
| Canada | 14 |
| Ireland | 7 |
| Russia | 3 |
| Sweden | 2 |
| Czechia | 1 |
Top cities views
| Views | |
|---|---|
| Montreal | 14 |
| Ashburn | 9 |
| Dublin | 7 |
| Fairfield | 7 |
| Louisville | 4 |
| San Diego | 3 |
| St Petersburg | 2 |
| Umeå | 2 |
| Anaheim | 1 |
| Boardman | 1 |
