Number of items: **6**.

Baker, Josef B. (2012) *A linear grammar approach for the analysis of mathematical documents.* Ph.D. thesis, University of Birmingham.

Sadawi, Noureddin (2013) *A rule-based approach for recognition of chemical structure diagrams.* Ph.D. thesis, University of Birmingham.

Shenaiber, Nourah (2015) *Analyzing the selection of the herbrand base process for building a Smart Semantic Tree Theorem Prover.* Ph.D. thesis, University of Birmingham.

Mahesar, Quratul-ain (2014) *Computing relatively large algebraic structures by automated theory exploration.* Ph.D. thesis, University of Birmingham.

Xia, Fubiao (2013) *Designated confirmer signatures: modelling, design and analysis.* Ph.D. thesis, University of Birmingham.

Sabeghi Saroui, Behrang (2015) *Recognition of mathematical handwriting on whiteboards.* Ph.D. thesis, University of Birmingham.

This list was generated on **Fri Dec 2 05:20:13 2016 GMT**.