eTheses Repository

Browse by Author/Supervisor

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 2.

Al-Zobaidi, Zaid (2014) Coherent minimisation: aggressive optimisation for symbolic finite state transducers. Ph.D. thesis, University of Birmingham.

Menaa, Mohamed Nabih (2012) On the compositionality of round abstraction. Ph.D. thesis, University of Birmingham.

This list was generated on Fri Nov 28 04:45:01 2014 GMT.