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
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