Ausgewählte Vorträge von Olaf Beyersdorff

Komplexität und Kryptografie

The Deduction Theorem, Optimal Proof Systems, and Complete Disjoint NP-Pairs
3rd Conference on Computability in Europe (CiE), Siena (Italien), Juni 2007.

Disjunkte NP-Paare und aussagenlogische Beweissysteme
Vortrag zur Verteidigung der Dissertation, Humboldt-Universität zu Berlin, Juli 2006.

Tuples of Disjoint NP-Sets
1st International Computer Science Symposium in Russia (CSR), St.Petersburg (Russland), Juni 2006.

Disjoint NP Pairs from propositional proof systems
3rd Conference on Theory and Applications of Models of Computation (TAMC), Peking (China), Mai 2006.

Representable Disjoint NP-Pairs
24th Conference on Foundations of Software Technology & Theoretical Computer Science (FST&TCS), Chennai (Indien), Dezember 2004.

Humboldt-Universität zu Berlin - Mathematisch- Naturwissenschaftliche Fakultät II - Institut für Informatik - Forschung und Lehre - Lehr- und Forschungsgebiete - Komplexität und Kryptografie - Mitarbeiter - Olaf Beyersdorff - Ausgewählte Vorträge von Olaf Beyersdorff

zuletzt geändert: 28.06.07 KUKadmin