Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Gottfried Wilhelm Leibniz Universität Hannover
Institut für Theoretische Informatik

Adresse Appelstraße 9a
30167 Hannover
Deutschland

GERiT Diese Institution in GERiT

30167 Hannover

Projekte

Sachbeihilfen
- laufende Projekte
  - Teamlogiken: Neue Brücken zu Datenbank-Reparaturen
    (Antragsteller Meier, Arne )
- abgeschlossene Projekte
  - Constraint-Satisfaction-Probleme: algebraische Struktur und komplexitätstheoretische Klassifikationen
    (Antragsteller Vollmer, Heribert )
  - Erfüllbarkeitsprobleme
    (Antragsteller Vollmer, Heribert )
  - Nichtklassische Logiken: Parametrisierte Komplexität und Enumeration
    (Antragsteller Meier, Arne )
  - Untersuchungen Arithmetischer und Boole'scher Komplexität von Schaltkreisen kleiner Tiefe
    (Antragsteller Vollmer, Heribert )

© 2024 DFG Kontakt / Impressum / Datenschutz