Invited talk: From classical to intuitionistic hybrid logic

Braüner, T. (Lecturer)

Activity: Talk or presentationLecture and oral contribution

Period23 Jun 2008
Event typeWorkshop
LocationPittsburgh, United States