LTG Logic and Theory Group

University of Bern

Home
Contact
Staff
Publications
Lectures
Research Projects
Student Projects
Links

Dr. Dieter Probst

Position	Research assistant
Office	109
Phone	+41 (0)31 511 76 07
Mail	probst@iam.unibe.ch
Publications	List of publications

Upcoming events

End Spring Semester 2012(11 days)
Explicit Paradigms in Logic and Computer Science(14 days)

Add to iCalendar

Search

Search this site: