Seminar Theoretische Informatik

2.11.99 HG 3-68 15:00 Uhr

Dr. Johannes Waldmann
Institut für Informatik
Universität Leipzig
Struktur und Endlichkeit (Teil1)
Ramsey-Theorie, WQO auf Bäumen, Kruskal (Folien)

9.11.99 HG 3-68 15:00 Uhr

Sibylle Schwarz
Institut für Informatik
Universität Leipzig
Constraints

16.11.99 HG 3-68 15:00 Uhr

Dr. Johannes Waldmann
Institut für Informatik
Universität Leipzig
Struktur und Endlichkeit (Fortsetzung: Teil 2)
WQO auf Graphen, Robertson/Seymour (Folien)

23.11.99 HG 3-68 15:00 Uhr

Dr. Johannes Waldmann
Institut für Informatik
Universität Leipzig
Struktur und Endlichkeit (Fortsetzung: Teil 3)
Unendliche Wörter, vermeidbare Faktoren, Burnside (Folien)

1.12.99 HS 7 9:15 Uhr

Dr. Ralf Hinze
Institut für Informatik III,
Universität Bonn
Konstruktion von Rot-Schwarz-Bäumen (Folien)

07.12.99 HG 3-68 15:00 Uhr

Prof. Heinrich Herre
Institut für Informatik
Universität Leipzig
Entscheidbarkeitsmethoden in der Theorie der Graphen (Teil 1)

14.12.99 HG 3-68 15:00 Uhr

Prof. Heinrich Herre
Institut für Informatik
Universität Leipzig
Entscheidbarkeitsmethoden in der Theorie der Graphen (Fortsetzung: Teil 2)

17.03.2000 HG 3-68 11:00 Uhr

Dr. J. W. Degen
Institut für Informatik
Universität Erlangen
Beweistheorie für Transitive Closure Logic und deskriptive Komplexitätstheorie

[zurück]