Invited talk: Hybrid Logic and Its Proof-Theory

Braüner, T. (Lecturer)

Activity: Talk or presentationLecture and oral contribution

Period30 Sep 2012
Event titleLSFA 2010 - Workshop on Logical and Semantic Frameworks, with Applications: null
Event typeWorkshop
LocationRio de Janeiro, Brazil