Strong systems of modal logic, with connections to distributed computing

    Aktiviteetti: Konferenssiesitelmä

    Description

    Contributors: Kuusisto Antti
    Aikajakso19 huhtik. 2013
    Tapahtuman otsikkoFMT Research Seminar
    Tapahtuman tyyppiOther
    Tunnustuksen arvoNational