Boolean dependence logic and partially-ordered connectives

J Ebbing; L Hella; P Lohmann; J Virtema

doi:10.1016/j.jcss.2017.03.009

Boolean dependence logic and partially-ordered connectives

J Ebbing, L Hella, P Lohmann, J Virtema

Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

2 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Sivut	103-125
Julkaisu	Journal of Computer and System Sciences
Vuosikerta	88
DOI - pysyväislinkit	https://doi.org/10.1016/j.jcss.2017.03.009
Tila	Julkaistu - 2017
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Tutkimusalat

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

Julkaisufoorumi-taso

Jufo-taso 3

Pääsy asiakirjaan

10.1016/j.jcss.2017.03.009

http://urn.fi/URN:NBN:fi:tuni-201909173334

Siteeraa tätä

@article{0c8da3e0ba2c4e4fa14f4ffddf4cdc58,

title = "Boolean dependence logic and partially-ordered connectives",

keywords = "Dependence logic, Existential second-order logic, Expressivity, Partially-ordered connectives, Dependence logic, Existential second-order logic, Expressivity, Partially-ordered connectives",

author = "J Ebbing and L Hella and P Lohmann and J Virtema",

year = "2017",

doi = "10.1016/j.jcss.2017.03.009",

language = "English",

volume = "88",

pages = "103--125",

journal = "Journal of Computer and System Sciences",

issn = "0022-0000",

publisher = "Academic Press Inc.",

}

TY - JOUR

T1 - Boolean dependence logic and partially-ordered connectives

AU - Ebbing, J

AU - Hella, L

AU - Lohmann, P

AU - Virtema, J

PY - 2017

Y1 - 2017

KW - Dependence logic

KW - Existential second-order logic

KW - Expressivity

KW - Partially-ordered connectives

KW - Dependence logic

KW - Existential second-order logic

KW - Expressivity

KW - Partially-ordered connectives

U2 - 10.1016/j.jcss.2017.03.009

DO - 10.1016/j.jcss.2017.03.009

M3 - Article

SN - 0022-0000

VL - 88

SP - 103

EP - 125

JO - Journal of Computer and System Sciences

JF - Journal of Computer and System Sciences

ER -