TY - GEN
AU - Sano, Katsuhiko
AU - Virtema, Jonni
AU - Katsuhiko Sano and Jonni Virtema
TI - Axiomatizing Propositional Dependence Logics
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - axiomatization
KW - propositional dependence logic
KW - modal dependence logic
KW - tableau calculus
PY - 2015
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation