Distributed computing and modal logic

    Activity: Talk or presentationConference presentation

    Description

    Contributors: Antti Kuusisto
    Period21 Sept 2012
    Event titleFinite model theory research seminar
    Event typeOther
    Degree of RecognitionNational