Digital Repository

Statistics

DSpace/Manakin Repository

Statistics

Total Visits

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

Total Visits Per Month

April 2014 May 2014 June 2014 July 2014 August 2014 September 2014
An Interactive Theorem Prover for First-Order Dynamic Logic 11 6 11 13 14 14

File Visits

Views
Brock_Das_Tuhin_2012.pdf 265
Tuhin_Thesis_final.pdf 3

Top country views

Views
United States of America 33
China 19
United Kingdom 4
Canada 1

Top cities views

Views
Belfast 4
Beijing 2
Dallas 1
Jinan 1
Kingston 1
Marlborough 1
Romeo 1
San Francisco 1
Santa Clara 1
Seattle 1

Search The Repository


Browse

My Account

Statistics


About the Digital Repository