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
Fax: +43 1 58801 18597