Siirry päänavigointiin Siirry hakuun Siirry pääsisältöön

Boolean dependence logic and partially-ordered connectives

  • J Ebbing
  • , L Hella
  • , P Lohmann
  • , J Virtema

    Tutkimustuotos: ArtikkeliTieteellinenvertaisarvioitu

    2 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ä