LTG
Logic and Theory Group
Home
Contact
Staff
Publications
Lectures
Research Projects
Student Projects
Links
Home
PD Dr. Thomas Studer
Position
Docent
Office
315
Phone
+41 (0)31 631 39 84
Mail
tstuder@iam.unibe.ch
Personal Page
http://www.iam.unibe.ch/~tstuder
Publications
List of publications
Lectures
List of lectures
Upcoming events
End Spring Semester 2012
(11 days)
Explicit Paradigms in Logic and Computer Science
(14 days)
more
Search
Search this site: