TY  - CONF

T1  - Complexity of validity for propositional dependence logics

JO  - Electronic Proceedings in Theoretical Computer Science, EPTCS

PY  - 2014/01/01

AU  - Virtema J

ED  - 

DO  - DOI: 10.4204/EPTCS.161.5

VL  - 161

SP  - 18

EP  - 31

Y2  - 2024/12/23

ER  -