Invited talk: From classical to intuitionistic hybrid logic

Braüner, T. (Foredragsholder)

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Periode23 jun. 2008
BegivenhedstitelIntuitionistic Modal Logics and Applications Workshop
BegivenhedstypeWorkshop
PlaceringPittsburgh, USA