Boolean dependence logic and partially-ordered connectives

J Ebbing, L Hella, P Lohmann, J Virtema

    Tutkimustuotos: ArtikkeliScientificvertaisarvioitu

    1 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Sivut103-125
    JulkaisuJournal of Computer and System Sciences
    Vuosikerta88
    DOI - pysyväislinkit
    TilaJulkaistu - 2017
    OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

    Tutkimusalat

    • Dependence logic
    • Existential second-order logic
    • Expressivity
    • Partially-ordered connectives

    Julkaisufoorumi-taso

    • Jufo-taso 3

    Siteeraa tätä