Search: Thesis, Welk, Martin, MATH/INF/NAT