Siirry päänavigointiin
Siirry hakuun
Siirry pääsisältöön
Tampereen yliopiston tutkimusportaali Etusivu
Tuki ja usein esitetyt kysymykset
English
Suomi
Etusivu
Profiilit
Tutkimustuotokset
Tutkimusyksiköt
Aktiviteetit
Tutkimusaineistot
Tutkimusinfrastruktuurit
Lehtileikkeet
Palkinnot
Haku asiantuntemuksen, nimen tai kytköksen perusteella
Dimension theory for Modal Logics
Luosto, K.
(Speaker)
Aktiviteetti
:
Konferenssiesitelmä
Description
Contributors: Luosto Kerkko / Kokous järjestettiin Schloss Dagstuhlissa, jokaon Leibniz-Zentrum für Informatikin kokouskeskus.
Aikajakso
23 kesäk. 2015
Tapahtuman otsikko
Logics for dependence and independence
Tapahtuman tyyppi
Other
Tunnustuksen arvo
International
X