From 8553b0e1f3b461ed902461ad0c01f89a8a264014 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Sun, 19 Nov 2017 16:37:04 +0100 Subject: [PATCH] more links --- courses/theses.md | 21 ++++++++++----------- 1 file changed, 10 insertions(+), 11 deletions(-) diff --git a/courses/theses.md b/courses/theses.md index c1ed4a6..be2f489 100644 --- a/courses/theses.md +++ b/courses/theses.md @@ -6,19 +6,18 @@ menu_order: 101 --- **List is still under construction** ### Ph.D. Theses -* Mihnea Iancu: *Towards Flexiformal Mathematics*, Jacobs University, XII 2016. -* Feryal Fulya Horozal: *Framework for Defining Declarative Languages*, Jacobs University, +* Mihnea Iancu: *[Towards Flexiformal Mathematics]((https://opus.jacobs-university.de/frontdoor/index/index/docId/721))*, Jacobs University, XII 2016. +* Feryal Fulya Horozal: *[Framework for Defining Declarative Languages](https://opus.jacobs-university.de/frontdoor/index/index/docId/495)*, Jacobs University, XI 2014. -* Vyacheslav Zholudev: *Enhancing XML Preservation and Workflows*, Jacobs University, VI 2012. -* Christoph Lange: *Enabling Collaboration on Semiformal Mathematical Knowledge by - Semantic Web Integration*, Jacobs University, III 2011. -* Christine M\"uller: *Adaptation of Mathematical Documents*, Jacobs University, V 2010. -* Normen M\"uller: *Change Management on Semi-Structured Documents*, Jacobs University, VIII 2010. -* Immanuel Normann: *Automated Theory Interpretation*, Jacobs University, XII 2008. -* Florian Rabe: *Representing Logics and Logic Translations*, Jacobs University, VI 2008. +* Vyacheslav Zholudev: *[Enhancing XML Preservation and Workflows](https://opus.jacobs-university.de/frontdoor/index/index/docId/23)*, Jacobs University, VI 2012. +* Christoph Lange: *[Enabling Collaboration on Semiformal Mathematical Knowledge by + Semantic Web Integration](https://opus.jacobs-university.de/frontdoor/index/index/docId/434)*, Jacobs University, III 2011. +* Christine M\"uller: *[Adaptation of Mathematical Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/252)*, Jacobs University, V 2010. +* Normen M\"uller: *[Change Management on Semi-Structured Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/227)*, Jacobs University, VIII 2010. +* Immanuel Normann: *[Automated Theory Interpretation](https://opus.jacobs-university.de/frontdoor/index/index/docId/336)*, Jacobs University, XII 2008. +* Florian Rabe: *[Representing Logics and Logic Translations](https://opus.jacobs-university.de/frontdoor/index/index/docId/344)*, Jacobs University, VI 2008. * Karsten Konrad: *Model Generation for Natural Lanugage Interpretation and Analysis*, Universtät des Saarlandes, IV 2000. -* Christoph Benzm\"uller: *Equality and Extensionality in - Higher-Order Theorem Proving*, Universtät des Saarlandes, V 1999. +* Christoph Benzm\"uller: *Equality and Extensionality in Higher-Order Theorem Proving*, Universtät des Saarlandes, V 1999. * Susanna Kuschert: *Dynamic Meaning and Accomodation*, Universtät des Saarlandes, II 1999, ### M.Sc Theses -- GitLab