Invited mini-course

Braüner, T. (Lecturer)

Activity: Talk or presentationLecture and oral contribution

Description

Mini-course on hybrid logic (aimed at Ph.D. students). Department of Mathematics, University of Aveiro, Portugal
Period14 May 2012 - 18 May 2012
Held atUnknown external organisation