Statistics for Decidability and Algorithmic Analysis of Dependent Object Types (DOT)
Total visits
views | |
---|---|
Decidability and Algorithmic Analysis of Dependent Object Types (DOT) | 93 |
Total visits per month
views | |
---|---|
May 2024 | 17 |
June 2024 | 26 |
July 2024 | 7 |
August 2024 | 0 |
September 2024 | 0 |
October 2024 | 0 |
November 2024 | 0 |
File Visits
views | |
---|---|
Hu_Zhong_Sheng.pdf(legacy) | 35 |
Hu_Zhong_Sheng.pdf | 16 |
Top country views
views | |
---|---|
United States | 38 |
Ireland | 10 |
Canada | 9 |
Singapore | 9 |
Hong Kong SAR China | 6 |
China | 4 |
France | 3 |
United Kingdom | 2 |
Russia | 2 |
Brazil | 1 |
Czechia | 1 |
Spain | 1 |
Finland | 1 |
Indonesia | 1 |
Japan | 1 |
South Korea | 1 |
Luxembourg | 1 |
Malaysia | 1 |
Taiwan | 1 |
Top city views
views | |
---|---|
Dublin | 10 |
Boardman | 7 |
Hong Kong | 6 |
Boydton | 5 |
Singapore | 5 |
Montreal | 4 |
Ashburn | 3 |
Fort Worth | 3 |
Prineville | 3 |
Shanghai | 3 |
Springfield | 3 |
Coeur d'Alene | 2 |
Harringay | 2 |
Pointe-aux-Trembles | 2 |
Sandston | 2 |
Toronto | 2 |
Boadilla del Monte | 1 |
Calgary | 1 |
DeKalb | 1 |
Fremont | 1 |
Fuzhou | 1 |
Helsinki | 1 |
Jakarta | 1 |
Kuala Lumpur | 1 |
Kyoto | 1 |
Luxembourg | 1 |
Paris | 1 |
Prague | 1 |
Recife | 1 |