Digital Repository

Statistics

DSpace/Manakin Repository

Statistics

Total Visits

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

Total Visits Per Month

February 2014 March 2014 April 2014 May 2014 June 2014 July 2014 August 2014
An Interactive Theorem Prover for First-Order Dynamic Logic 15 20 11 6 11 13 12

File Visits

Views
Brock_Das_Tuhin_2012.pdf 260
Tuhin_Thesis_final.pdf 3

Top country views

Views
United States of America 24
China 18
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