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 (2019)

 
Avaa tiedosto
model_checking_and_validity_2019.pdf (342.3Kt)
Lataukset: 



Hella, Lauri
Kuusisto, Antti
Meier, Arne
Virtema, Jonni
2019

Journal of logic and computation 29 5
605-630
Informaatioteknologian ja viestinnän tiedekunta - Faculty of Information Technology and Communication Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
doi:10.1093/logcom/exz008
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:tuni-201911286400
Kokoelmat
  • Artikkelit [6122]
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | 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 | Tietosuoja | Saavutettavuusseloste