Digital Repository

Statistics

DSpace/Manakin Repository

Statistics

Total Visits

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

Total Visits Per Month

July 2014 August 2014 September 2014 October 2014 November 2014 December 2014 January 2015
An Interactive Theorem Prover for First-Order Dynamic Logic 13 14 14 1 15 26 17

File Visits

Views
Brock_Das_Tuhin_2012.pdf 291
Tuhin_Thesis_final.pdf 3

Top country views

Views
United States of America 60
China 38
France 8
United Kingdom 4
Canada 2
Germany 1

Top cities views

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

Search The Repository


Browse

My Account

Statistics


About the Digital Repository