Digital Repository

Statistics

DSpace/Manakin Repository

Statistics

Total Visits

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

Total Visits Per Month

October 2013 November 2013 December 2013 January 2014 February 2014 March 2014 April 2014
An Interactive Theorem Prover for First-Order Dynamic Logic 18 12 35 20 15 20 6

File Visits

Views
Brock_Das_Tuhin_2012.pdf 244
Tuhin_Thesis_final.pdf 3

Top country views

Views
China 12
United States of America 6
United Kingdom 2

Top cities views

Views
Beijing 2
Belfast 2
Marlborough 1
Wuhan 1

Search The Repository


Browse

My Account

Statistics


About the Digital Repository