SoleCRISSiirtymälinkkiEtusivuSiirtymälinkkiKäyttöohjeSiirtymälinkkiRekisteriselosteSiirtymälinkkiKirjautuminen

Artikkelit/Konferenssijulkaisu
      
Tämä on julkaisun katselusivu. Tällä sivulla voit katsella julkaisun perustietoja. Jos haluat päästä muokkaamaan julkaisun tietoja, siirry julkaisun muokkaussivulle alalaidassa olevalla siirtymis-toiminnolla tai jatka järjestelmän käyttöä menusta.


Model Checking and Validity in Propositional and Modal Inclusion Logics - Hella Lauri, Kuusisto Antti, Meier Arne, Virtema Jonni 2017


Laji Artikkelit
Alalaji Konferenssijulkaisu
Tyyppi Tieteellinen
OKM:n julkaisutyyppiluokitus A4 
Tekijät Hella Lauri, Kuusisto Antti, Meier Arne, Virtema Jonni 
Tekijöiden lukumäärä
Yliopiston ensimmäinen tekijä
Ensimmäisen tekijän yksikkö
Artikkelin nimi Model Checking and Validity in Propositional and Modal Inclusion Logics 
Teoksen toimittajat Larsen Kim G, Bodlaender Hans L, Raskin Jean-Francois 
Julkaisu- ja rekisterivuosi 2017  ja 2017 
Kustantaja Schloss Dagstuhl, Leibniz-Zentrum für Informatik, Dagstuhl Publishing 
Kustannuspaikka Dagstuhl 
Artikkelinumero 32 
Referee Kyllä
ISBN 978-3-95977-046-0 
Sarjan nimi Leibniz international proceedings in informatics 
Sarjan numero 83 
ISSN 1868-8969 
Konferenssin nimi International Symposium on Mathematical Foundations of Computer Science 
Julkaisukieli englanti
Julkaistu ulkomailla Kyllä
Tieteenala Tietojenkäsittely ja informaatiotieteet
Kansainvälinen yhteisjulkaisu Kyllä
Yhteisjulkaisu yrityksen kanssa Ei
Avoin saatavuus Open access -julkaisukanavassa ilmestynyt julkaisu
Julkaisu rinnakkaistallennettu Kyllä
Rinnakkaistallennetun version verkko-osoite https://arxiv.org/abs/1609.06951
DOI-tunniste 10.4230/LIPIcs.MFCS.2017.32 
Verkkojulkaisun linkki http://dx.doi.org/10.4230/LIPIcs.MFCS.2017.32
Asiasanat / Englanti Inclusion Logic, Model Checking, Complexity 
Lisätiedot Scopus
Suora linkki Suora linkki