Invited talk: From classical to intuitionistic hybrid logic

Braüner, T. (Foredragsholder)

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

Periode	23 jun. 2008
Begivenhedstitel	Intuitionistic Modal Logics and Applications Workshop
Begivenhedstype	Workshop
Placering	Pittsburgh, USA