Invited talk: Hybrid Logic and Its Proof-Theory

Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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