Today Franziska successfully defended her master thesis on “Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground TRSs”. Franziska will continue for a PhD and be employed on the FWF-funded project “From Confluence to Unique Normal Forms: Certification and Complexity“.operations.
February 5, 2016: Franziska Rapp completes her master studies
- Details
- Category: News Archive
- Read Time: 1 min