Hyppää sisältöön
    • Suomeksi
    • In English
Trepo
  • Suomeksi
  • In English
  • Kirjaudu
Näytä viite 
  •   Etusivu
  • Trepo
  • Artikkelit
  • Näytä viite
  •   Etusivu
  • Trepo
  • Artikkelit
  • Näytä viite
JavaScript is disabled for your browser. Some features of this site may not work without it.

Model Checking and Validity in Propositional and Modal Inclusion Logics

Hella, Lauri; Kuusisto, Antti; Meier, Arne; Virtema, Jonni (2017)

 
Avaa tiedosto
model_checking_and_validity_2017.pdf (565.4Kt)
Lataukset: 



Hella, Lauri
Kuusisto, Antti
Meier, Arne
Virtema, Jonni
Teoksen toimittaja(t)
Larsen, Kim G.
Bodlaender, Hans L.
Raskin, Jean-Francois
Schloss Dagstuhl
2017

42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)
32:1 - 32:14
Luonnontieteiden tiedekunta - Faculty of Natural Sciences
Creative Commons License CC-BY 3.0
doi:10.4230/LIPIcs.MFCS.2017.32
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:uta-201802151227
Kokoelmat
  • Artikkelit [6095]
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Yhteydenotto | Tietosuoja | Saavutettavuusseloste
 

 

Selaa kokoelmaa

TekijätNimekkeetTiedekunta (2019 -)Tiedekunta (- 2018)Tutkinto-ohjelmat ja opintosuunnatAvainsanatJulkaisuajatKokoelmat

Omat tiedot

Kirjaudu sisäänRekisteröidy
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Yhteydenotto | Tietosuoja | Saavutettavuusseloste