TY - JOUR
T1 - Boolean dependence logic and partially-ordered connectives
JO - Journal of Computer and System Sciences
PY - 2017/09/01
AU - Ebbing J
AU - Hella L
AU - Lohmann P
AU - Virtema J
ED -
DO - DOI: 10.1016/j.jcss.2017.03.009
VL - 88
SP - 103
EP - 125
Y2 - 2025/05/29
ER -