Seminar Theoretische Informatik

27.04.99 HG 3-68 15:00 Uhr

Dr. Johannes Waldmann
Institut für Informatik, Universität Leipzig
Top-Termination für CL(S)

18.05.99 HG 3-68 15:00 Uhr

Dr. Johannes Waldmann
Institut für Informatik, Universität Leipzig
Set Constraints

08.06.99 HG 3-68 15:00 Uhr

Dr. Johannes Waldmann
Institut für Informatik, Universität Leipzig
Logische Klassifizierung regulärer Sprachen

20.06.99 HG 3-68 16:00 Uhr

Dr. Dieter Hofbauer
Forschungsgruppe Theoretische Informatik
des FB Mathematik / Informatik der
Universität Gesamthochschule Kassel
Testmengen und Automaten für den universellen Abschluss regulärer Sprachen - Formalsprachliche Methoden in der Termersetzung

[zurück]