Dimension theory for Modal Logics

    Aktiviteetti: Konferenssiesitelmä

    Description

    Contributors: Luosto Kerkko / Kokous järjestettiin Schloss Dagstuhlissa, jokaon Leibniz-Zentrum für Informatikin kokouskeskus.
    Aikajakso23 kesäk. 2015
    Tapahtuman otsikkoLogics for dependence and independence
    Tapahtuman tyyppiOther
    Tunnustuksen arvoInternational