|
Aachen-Freiburg-Mainz-Seminar
Description of the project:
- no english description available -
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.
Additional information: http://speedy.informatik.rwth-aachen.de/WWW/FMT.html
Phone: 0761 / 203-5602
Email: logik@sun2.mathematik.uni-freiburg.de
Runtime:
Start of project: 1995 End of project: (unlimited)
Project Management:
Albert-Ludwigs-University Freiburg
Prof. Dr. H.-D. Ebbinghaus, Prof. Dr. Jörg Flum, PD Dr. Martin Grohe Abteilung für Mathematische Logik
Ernst-Zermelo-Str. 1 79104 Freiburg i. Br. Germany
Phone: 0761 203 5602 Email: ricarda.samek@math.uni-freiburg.de
http://logik.mathematik.uni-freiburg.de/
Actual Research Report
Keywords:
endliche Modelltheorie, Aachen, Freiburg, Mainz
project-related publications:
- Martin Grohe, Thomas Schwentick: Locality of order-invariant first-order formulas ACM Trans. Comput.Log, 2000; 1 (1): 112-130.
|