Digital Repository

Statistics

DSpace/Manakin Repository

Statistics

Total Visits

Views
An Interactive Theorem Prover for First-Order Dynamic Logic 669

Total Visits Per Month

June 2014 July 2014 August 2014 September 2014 October 2014 November 2014 December 2014
An Interactive Theorem Prover for First-Order Dynamic Logic 11 13 14 14 1 15 15

File Visits

Views
Brock_Das_Tuhin_2012.pdf 273
Tuhin_Thesis_final.pdf 3

Top country views

Views
United States of America 45
China 31
France 5
United Kingdom 4
Canada 1
Germany 1

Top cities views

Views
Roubaix 5
Belfast 4
Beijing 2
Romeo 2
Santa Clara 2
Sunnyvale 2
Dallas 1
Jinan 1
Kingston 1
Marlborough 1

Search The Repository


Browse

My Account

Statistics


About the Digital Repository