Second-Order Propositional Modal Logic

    Aktiviteetti: Konferenssiesitelmä

    Description

    Contributors: Antti Kuusisto
    Aikajakso25 tammik. 2008
    Tapahtuman otsikkoFMT Research Seminar
    Tapahtuman tyyppiOther
    Tunnustuksen arvoNational