Modal Logic with Quantified Binary Relations

    Aktiviteetti: Konferenssiesitelmä

    Description

    Contributors: Antti Kuusisto
    Aikajakso3 syysk. 2009
    Tapahtuman otsikkoFMT Research Seminar
    Tapahtuman tyyppiOther
    Tunnustuksen arvoNational