TY  - CONF

T1  - Complexity of validity for propositional dependence logics

JO  - Electronic Proceedings in Theoretical Computer Science

UR  - https://doi.org/10.4204/eptcs.161.5

PY  - 2014/08/24

AU  - Virtema J

ED  - 

DO  - DOI: 10.4204/eptcs.161.5

PB  - Open Publishing Association

VL  - 161

SP  - 18

EP  - 31

Y2  - 2026/01/07

ER  -