Currently browsing: Items authored or edited by Tawanda Gurukumba

Gurukumba, Tawanda (2007). Tactics From Proofs. Master of Philosophy (MPhil) thesis The Open University.

• Download Final Version (PDF / 7MB)

Hall, J. G. and Gurukumba, T. (2001). Decomposing the DSub Retrenchment. Technical Report 2001/04; Department of Computing, The Open University.

• Download Published Version (PDF / 4MB)