From f4c66670da18e640de2edea6696e3d9bb1cbac05 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Fri, 22 Mar 2019 17:47:05 +0100 Subject: [PATCH] Update theses.md --- courses/theses.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/theses.md b/courses/theses.md index 5e61871..65ad2f9 100644 --- a/courses/theses.md +++ b/courses/theses.md @@ -6,7 +6,7 @@ menu_order: 101 --- **List is still under construction** ### Ph.D. Theses -* Mihnea Iancu: *[Towards Flexiformal Mathematics]((https://opus.jacobs-university.de/frontdoor/index/index/docId/721))*, Jacobs University, XII 2016. +* 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](https://opus.jacobs-university.de/frontdoor/index/index/docId/23)*, Jacobs University, VI 2012. -- GitLab