Strong systems of modal logic, with connections to distributed computing

    Activity: Talk or presentation › Conference presentation

    Description

    Contributors: Kuusisto Antti
    Period19 Apr 2013
    Event titleFMT Research Seminar
    Event typeOther
    Degree of RecognitionNational