Leibniz Universität Hannover Fakultät Fakultät für Elektrotechnik und Informatik
English Kontakt English
Institut für Theoretische Informatik
 
Institut für Theoretische Informatik Forschung
Projekte
Arithmetische und Boole'sche Komplexität
Nichtklassische Logiken: Parametrisierte Komplexität und Enumeration
Parametrisierte Komplexität nichtklassischer Logiken
Deskriptive Komplexität von parametrisierten Zählproblemen

Projekte

Im Rahmen unserer Forschungsschwerpunkte arbeiten wir derzeit an den folgenden drittmittelgeförderten Projekten.

Allgemeine Informationen zu unseren Forschungsschwerpunkten finden Sie hier
Schwerpunkte

Letzte Änderung: 08.07.21 Druckversion

So erreichen Sie uns
Kontakt