|
Aachen-Freiburg-Mainz-Seminar
Projektbeschreibung:
Halbjährliche Arbeitstagung in endlicher Modelltheorie der
RWTH Aachen, der Albert-Ludwigs-Universität Freiburg und der
Johannes-Gutenberg-Universität Mainz; findet wechselweise an den drei beteiligten Universitäten statt.
Weitere Informationen: http://speedy.informatik.rwth-aachen.de/WWW/FMT.html
Tel: 0761 / 203-5602
Email: logik@sun2.mathematik.uni-freiburg.de
Projektlaufzeit:
Projektbeginn: 1995 Projektende: (unbegrenzt)
Projektleitung:
Prof. Dr. H.-D. Ebbinghaus, Prof. Dr. Jörg Flum, PD Dr. Martin Grohe
Albert-Ludwigs-Universität Freiburg
Abteilung für Mathematische Logik
Ernst-Zermelo-Str. 1 79104 Freiburg i. Br.
Telefon: 0761 203 5602 Email: ricarda.samek@math.uni-freiburg.de
http://logik.mathematik.uni-freiburg.de/
Schlagworte:
endliche Modelltheorie, Aachen, Freiburg, Mainz
Projektbezogene Publikationen:
- Martin Grohe, Thomas Schwentick: Locality of order-invariant first-order formulas ACM Trans. Comput.Log, 2000; 1 (1): 112-130.
Aktueller Forschungsbericht
|