• 1 WEST 4.55

Accepting PhD Students

20012018
If you made any changes in Pure these will be visible here soon.

Projects 2006 2017

Finished
Computer systems
Formal languages
Rigidity
Computer programming languages
Formal verification
Computer science
Computer systems
Theorem proving
Computer programming languages
Costs

ANALYTICITY AND PROOF SEARCH FOR MODAL LOGICS IN DEEP INFERE NCE

Guglielmi, A.

The British Council

1/07/0630/06/08

Project: Central government, health and local authorities