Contact
Gerhard Jäger or Roman Kuznets (expa12@iam.unibe.ch)
Logic and Theory Group
Phone: +41 (0)31 631 84 26
Fax: +41 (0)31 631 32 60
Institute of Computer Science and Applied Mathematics
University of Bern
Logic and Theory Group
Phone: +41 (0)31 631 84 26
Fax: +41 (0)31 631 32 60
Institute of Computer Science and Applied Mathematics
University of Bern