Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Komplexität und Kryptografie

Von der Turingmaschine zum Quantencomputer - ein Gang durch die Geschichte der Komplexitätstheorie

The Deduction Theorem for Strong Propositional Proof Systems

Classes of Representable Disjoint NP-Pairs

Tuples of Disjoint NP-Sets

A General Dimension for Query Learning

Parameterized Learnability of k-Juntas and Related Problems

The Space Complexity of k-Tree Isomorphism