LTG
Logic and Theory Group
Home
Contact
Staff
Publications
Lectures
Research Projects
Student Projects
Links
Home
Johannes Werner
Position
Research assistant
Office
109
Phone
+41 (0)31 511 76 08
Mail
werner@iam.unibe.ch
Upcoming events
End Spring Semester 2012
(11 days)
Explicit Paradigms in Logic and Computer Science
(14 days)
more
Search
Search this site:
