Sebastian Müller
Komplexität und Kryptografie
Document Actions
Sebastian Müller
Wissenschaftlicher Mitarbeiter
Raum: 4.014
Telefon: +49 30 2093 3919
Email: smueller (at) informatik.hu-berlin.de
Mitarbeiter im Forschungsprojekt Aussagenlogische Beweiskomplexität und disjunkte NP-Paare (2)
2008
Raum: 4.014
Telefon: +49 30 2093 3919
Email: smueller (at) informatik.hu-berlin.de
Interessengebiete
- Komplexitätstheorie
- aussagenlogische Beweistheorie und Beweiskomplexität
- beschränkte Arithmetik
Mitarbeiter im Forschungsprojekt Aussagenlogische Beweiskomplexität und disjunkte NP-Paare (2)
Veröffentlichungen
2008
Nondeterministic Instance Complexity and Proof Systems with Advice
Olaf Beyersdorff, Sebastian Müller, Johannes Köbler
Preprint.
A Tight Karp-Lipton Collapse for Bounded Arithmetic (extended abstract)
Olaf Beyersdorff, Sebastian Müller
Proc. 17th EACSL Annual Conference on Computer Science Logic (CSL), To appear.
zuletzt geändert:
12.09.08
SV
Persönliche Werkzeuge
- Sie sind nicht eingeloggt.
- Seite bearbeiten
Deutsch
English