Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Komplexität und Kryptografie | Mitarbeiter | Olaf Beyersdorff | Abstracts Abstracts Representable Disjoint NP-Pairs Disjoint NP-pairs from propositional proof systems Tuples of disjoint NP-sets Von der Turingmaschine zum Quantencomputer - ein Gang durch die Geschichte der Komplexitätstheorie
