TY  - GEN

T1  - Axiomatizing Propositional Dependence Logics

PY  - 2014/10/19

AU  - Sano K

AU  - Virtema J

ED  - 

Y2  - 2024/12/23

ER  -