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, DanmarkVis på kort