August 16, 2013: Benjamin Höller completed his master studies

Today Benjamin Höller successfully defended his master thesis on “Confluence of Rewrite Systems with AC Rules”.