TY  - CONF

T1  - Axiomatizing propositional dependence logics

JO  - Leibniz International Proceedings in Informatics, LIPIcs

PY  - 2015/09/01

AU  - Sano K

AU  - Virtema J

ED  - 

DO  - DOI: 10.4230/LIPIcs.CSL.2015.292

SN  - 9783939897903

VL  - 41

SP  - 292

EP  - 307

Y2  - 2024/12/22

ER  -