Model Checking and Validity in Propositional and Modal Inclusion Logics

Lauri Hella, Antti Kuusisto, Arne Meier, Virtema Jonni

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    9 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoUnknown
    ToimittajatKim G Larsen, Hans L Bodlaender, Jean-Francois Raskin
    JulkaisupaikkaDagstuhl
    DOI - pysyväislinkit
    TilaJulkaistu - 2017
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
    TapahtumaInternational Symposium on Mathematical Foundations of Computer Science -
    Kesto: 1 tammik. 2017 → …

    Julkaisusarja

    NimiLeibniz international proceedings in informatics
    Numero83
    ISSN (painettu)1868-8969

    Conference

    ConferenceInternational Symposium on Mathematical Foundations of Computer Science
    Ajanjakso1/01/17 → …

    Tutkimusalat

    • Complexity
    • Inclusion Logic
    • Model Checking

    Julkaisufoorumi-taso

    • Jufo-taso 1

    Siteeraa tätä