Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Technische Berichte
• Studienarbeiten (Archiv)

• Nr. 05:  Kufleitner, Manfred: A Proof of the Factorization Forest Theorem, Technischer Bericht Nr. 2007/05.

• Laun, Jürn-Jochen: Natürliche Beweise, Studienarbeit Nr. 2573, 2007.