User:Arne4Meier

Working in the areas of complexity theory intersected with logic at the Gottfried Wilhelm Leibniz Universität Hannover. For more details, see my webpage.