Currently browsing: Items authored or edited by Tawanda Gurukumba

2 items in this list.
Generated on Wed Sep 18 04:12:35 2024 BST.

GTo Top

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

HTo Top

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

Export

Subscribe to these results

get details to embed this page in another page Embed as feed [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0