Invited talk: Hybrid Logic and Its Proof-Theory

Braüner, T. (Foredragsholder)

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Periode30 sep. 2012
BegivenhedstitelLSFA 2010 - Workshop on Logical and Semantic Frameworks, with Applications
BegivenhedstypeWorkshop
PlaceringRio de Janeiro, Brasilien