Proof Systems in Indexical Hybrid Logic

Klaus Frovin Jørgensen (Foredragsholder)

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Periode23 maj 2013
BegivenhedstitelModality and Modalities
BegivenhedstypeKonference
PlaceringRoskilde, Danmark