LTG
Logic and Theory Group
Home
Contact
Staff
Publications
Lectures
Research Projects
Student Projects
Links
Home
PD Dr. Kai Brünnler
Position
Research assistant
Office
109
Mail
kai@iam.unibe.ch
Personal Page
http://www.iam.unibe.ch/~kai
Publications
List of publications
Upcoming events
End Spring Semester 2012
(10 days)
Explicit Paradigms in Logic and Computer Science
(13 days)
more
Search
Search this site: