Matthias Baaz

Email: baaz@logic.at

My two addresses:

Research Unit Computational Logic
Institute of Discrete Mathematics and Geometry
University of Technology, Vienna
Wiedner Hauptstraße 8-10
A-1040 Wien, Austria
Phone: +43 1 58801 11821
Fax: +43 1 5863388

Theory and Logic Group
Institut für Computersprachen
University of Technology, Vienna
Favoritenstraße 9/Stiege 2/3.Stock
A-1040 Wien, Austria
Phone: +43 1 58801 18545
Fax: +43 1 58801 18597