Fachbereich Informatik AG Formale Methoden und Deduktion Prof. Dr. J. Avenhaus

Die WWW-Seiten der Arbeitsgruppe "Formale Methoden und Deduktion" befinden sich nun auf unserem eigenen Server.

Bitte folgen sie folgendem Verweis und korrigieren Sie Ihre Links auf unsere Seiten.

Falls Ihr Browser dies unterstützt werden Sie nach 20 Sekunden automatisch auf die neue Adresse weitergeschaltet.

The WWW-pages of the research group `formal methods and deduction' can now be found on our own server.

Please follow this link and correct any links from your own web pages to our pages.

You will be switched to the new address after 20 seconds if your browser supports this feature.