Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Complexity and Cryptography

Konferenzbeiträge

Disjoint NP Pairs from propositional proof systems [tamc06.pdf]
Olaf Beyersdorff
Proc. 3rd Conference on Theory and Applications of Models of Computation, Springer Verlag, LNCS 3959, 236-247, 2006.

Tuples of Disjoint NP-Sets [csr06.pdf]
Olaf Beyersdorff
Proc. 1st International Computer Science Symposium in Russia, Springer Verlag, LNCS 3967, 80-91, 2006.

Representable Disjoint NP-Pairs [fsttcs04.pdf]
Olaf Beyersdorff
In Proceedings 24th Conference on the Foundations of Software Technology & Theoretical Computer Science (FST&TCS), Springer-Verlag, LNCS  3328, 122-1344, 2004.

Akademische Arbeiten und ein Buchbeitrag

Disjoint NP-Pairs and Propositional Proof Systems
Olaf Beyersdorff
Dissertation, Humboldt-Universität zu Berlin, 2006.

Eine stabile nicht äquationale Theorie
Olaf Beyersdorff
Diplomarbeit, Humboldt-Universität zu Berlin, 2000.

Von der Turingmaschine zum Quantencomputer [turing.pdf]
Johannes Köbler und Olaf Beyersdorff
Themen der Informatik im historischen Kontext, Springer Verlag, 2006.