Institute of Computer Science

Logic and Theory Group (LTG)

Michael Baur

Logic and Theory Group

E-Mail
michael.baur@unibe.ch
Office
314
Postal Address
Neubrückstrasse 10
3012 Bern