Distributed computing and modal logic

    Aktiviteetti: Konferenssiesitelmä

    Description

    Contributors: Antti Kuusisto
    Aikajakso21 syysk. 2012
    Tapahtuman otsikkoFinite model theory research seminar
    Tapahtuman tyyppiOther
    Tunnustuksen arvoNational