Alexander Bolotov's research interests


I was a co-investigator on the EPSRC funded project Clausal Resolution for the Temporal Mu-Calculus .

Main Research Page

PhD Students

PhD Opportunities

Publications

School's Seminars