Browse by Supervisor

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

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

Arntzenius, Michael (2022). Deconstructing Datalog. University of Birmingham. Ph.D.

Fredriksson, Olle (2015). Distributing abstract machines. University of Birmingham. Ph.D.

Waugh Ambridge, Todd (2024). Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics. University of Birmingham. Ph.D.

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

Smith, Alexander Ian (2015). On the design of finite-state type systems. University of Birmingham. Ph.D.

This list was generated on Mon Dec 23 14:26:32 2024 GMT.