Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

Address Appelstraße 9a
30167 Hannover
Deutschland

GERiT This institution in GERiT

30167 Hannover

Projects

Research Grants
- Current projects
  - Team Logics: New Bridges to Database Repairs
    (Applicant Meier, Arne )
- Completed projects
  - Arithmetic versus Boolean Complexity: The Case of Small-Depth Circuits
    (Applicant Vollmer, Heribert )
  - Constraint-Satisfaction-Probleme: algebraische Struktur und komplexitätstheoretische Klassifikationen
    (Applicant Vollmer, Heribert )
  - Erfüllbarkeitsprobleme
    (Applicant Vollmer, Heribert )
  - Nonclassical logics: parametrised and enumeration complexity
    (Applicant Meier, Arne )

© 2024 DFG Disclaimer / Copyright / Privacy Policy