Seminar Theoretische Informatik

SS 2005

Mi, 08.06.05, SG 00-35/36, 11:15 Uhr: J. Waldmann:
Gewichtete Automaten als Terminations-Zertifikate für String Rewriting

Mi, 01.06.05, SG 3-93, 13:15 Uhr: I. Meinecke:
Gewichtete Logik für Spuren

WS 2004/05

Vergangene:

Mi, 02.02.05 SG 3-95 09:15 Uhr: Frau I. Mäurer:
Rationale Monoide

Mi, 19.01.05 SG 3-95 09:15 Uhr: Dr. G. Rahonis (Thesaloniki):
Weighted tree transducers

Di, 11.01.05 SG 3-95 09:15 Uhr: Dr. C. Pech:
Gewichtete Baumautomaten

Mi, 05.01.05 SG 3-95 09:15 Uhr: Frau U. Püschmann

15.12.2004 SG 3-95 09:00 - 11:00 Uhr: Dipl.-Math. Georg Ulbrich
Zur Cofinalität von Aut(C)

08.12.2004 SG 3-95 09:00 - 11:00 Uhr: Frau Dipl.-Math. U. Püschmann
Alternierende Automaten

01.12.2004 SG 3-95 o. 4-07/08, 09:00 - 11:00 Uhr: Frau Dipl.-Math. I. Mäurer
Gewichtete Automaten für Bilder (2)

24.11.2004 SG 3-95 09:00 - 11:00 Uhr: Frau Dipl.-Math. I. Mäurer
Gewichtete Automaten für Bilder

16.11.2004 09:00 - 11:00 Uhr: Prof. Dr. H. Herre
Entscheidbarkeit und Unentscheidbarkeit von Theorien II

10.11.2004 SG 3-95 09:00 - 11:00 Uhr: Prof. Dr. H. Herre
Entscheidbarkeit und Unentscheidbarkeit von Theorien

03.11.2004 SG 3-95 09:00 - 11:00 Uhr: Dipl.-Math. B. Borchardt

27.10.2004 SG 3-05 11:15 Uhr

20.10.2004 SG 3-05 11:15 Uhr: Dr. Waldmann
HTWK
Automatentheorie für Ersetzungssysteme

Rückblick

[WS 03/04] [SS 03] [WS 02/03] [SS 02] [WS 01/02] [SS 01]
[WS 00/01] [SS 00] [WS 99/00] [SS 99] [WS 98/99] [SS 98] [WS 97/98] [SS 97]