Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Komplexität und Kryptografie | Forschung | Forschungsprojekte | Frühere Forschungsprojekte Frühere Forschungsprojekte Semiformale Sicherheitsmodelle Polynomial Query Complexity and Algorithmic Learning Fixed Parameter Tractability Aussagenlogische Beweiskomplexität und disjunkte NP-Paare Die Komplexität des Graphisomorphieproblems im klassischen und quantentheoretischen Modell
