Klaus Aehlig, Habilitation
As part of my habilitation studies I submit the following material
for final examination.
- A thesis
entitled "Parallel Time and Proof Complexity".
- Four publications in Computer Science, not in the area of the thesis.
- A cover letter,
containing a German CV, a list of publications and a list of lectures held.
of publications is available. For most of them, the final drafts
are avaiable online
(see my homepage and