Fachbereich Informatik

AG Formale Methoden und Deduktion

Prof. Dr. J. Avenhaus


Die WWW-Seiten der AG Avenhaus und damit auch die Waldmeister Homepage wurden auf unseren eigenen Server verlagert. Bitte folgen Sie dem folgenden Verweis zur neuen Seite, falls Sie nicht, entsprechende Unterstützung durch Ihren Browser vorausgesetzt, nach 20 Sekunden automatisch dorthin weitergeleitet werden.
The WWW-pages of the AG Avenhaus and therefore also the Waldmeister home page have been switch to our own server. Please follow this link to the new page, if you are not automatically switched there after 20 seconds (provided your browser has the appropriate feature).
Bei Fragen, Kommentaren und Anregungen: Email an denzinge@informatik.uni-kl.de

Last Change: 21/06/99