Institut für Informatik - Dokumentenserver - Universität Leipzig
Institut für Informatik - Dokumentenserver - Universität Leipzig
Institut für Informatik - Dokumentenserver - Universität Leipzig
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
3.7.4 Theorie-Seminar<br />
19.12.2000 Noll, Th., Technische <strong>Universität</strong> Berlin,<br />
Mathematische Musiktheorie: Modelle und computergestützte Experimente<br />
28.11.2000 Niemann, G., <strong>Universität</strong> Kassel/J.Waldmann, <strong>Universität</strong> <strong>Leipzig</strong><br />
Die regulären Sprachen und Church-Rosser-Kongruenz-Sprachen<br />
21.11.2000 Thanh Hai, N., <strong>Universität</strong> <strong>Leipzig</strong><br />
Probleme der Ontologie<br />
14.11.2000 Herre, H., <strong>Universität</strong> <strong>Leipzig</strong><br />
Ontological Engineering: Modellierung von Wissen<br />
07.11.2000 Waldmann, J./Stamer, H., <strong>Universität</strong> <strong>Leipzig</strong><br />
Neuigkeiten vom Postschen Korrespondenz-Problem<br />
17.10.2000 Waldmann, J., <strong>Universität</strong> <strong>Leipzig</strong><br />
Aktuelles aus der Theorie Endlicher Automaten<br />
13.07.2000 Kratsch, D., Universite de Metz<br />
Baumweite und Komplexität von Graphenproblemen<br />
23.05.2000 Gerber, S., <strong>Universität</strong> <strong>Leipzig</strong><br />
Zur Arbeit mit interaktivem Lehrmaterial<br />
10.05.2000 Enjalbert, P., Universite de Caen<br />
Aspects of conceptual and linguistic representation<br />
02.05.2000 Waldmann, J., <strong>Universität</strong> <strong>Leipzig</strong><br />
Aktuelles aus der Kombinatorischen Logik<br />
17.03.2000 Degen, J. W., <strong>Universität</strong> Erlangen<br />
Beweistheorie <strong>für</strong> Transitive Closure Logic und deskriptive<br />
Komplexitätstheorie<br />
109