[9] D. Müller (2019-12) Mathematical knowledge management across formal libraries. Ph.D. Thesis, Informatics, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.

[3] M. Iancu (2017) Towards flexiformal mathematics. Ph.D. Thesis, Jacobs University, Bremen, Germany. External Links: Link Cited by: p1.

[2] F. Horozal (2014-11) A framework for defining declarative languages. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

[13] V. Zholudev (2012) Enhancing xml preservation and workflows. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

[8] C. Müller (2010) Adaptation of Mathematical Documents. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

[10] N. Müller (2010) Change management on semi-structured documents. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

[4] A. Kohlhase (2008-04) Semantic interaction design: composing knowledge with CPoint. Ph.D. Thesis, Computer Science, Universität Bremen. External Links: Link Cited by: p1.

[11] I. Normann (2008) Automated theory interpretation. Ph.D. Thesis, Jacobs University, Bremen, Germany. External Links: Link Cited by: p1.

[12] F. Rabe (2008) Representing Logics and Logic Translations. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

[6] K. Konrad (2000) Model generation for natural language interpretation and analysis. Ph.D. Thesis, Universität des Saarlandes. External Links: Document Cited by: p1.

[1] C. Benzmüller (1999) Equality and extensionality in higher-order theorem proving. Ph.D. Thesis, Universität des Saarlandes. External Links: Link Cited by: p1.

[7] S. Kuschert (1999) Dynamic meaning and accommodation. Ph.D. Thesis, Saarland University. Cited by: p1.

[5] M. Kohlhase (1994) A mechanization of sorted higher-order logic based on the resolution principle. Ph.D. Thesis, Universität des Saarlandes. External Links: Link Cited by: p1.