Promotionen

Die Komplexität der Formelauswertung in intuitionistischen Logiken

Promovend Felix Weiß
Akademischer Grad doctor rerum naturalium
Fachbereich Institut für Informatik
Verfahrensabschluss 10.01.2013
Betreuer 1 Prof. Dr. Martin Mundhenk