%0 Generic
%T Axiomatizing propositional dependence logics
%A Sano, Katsuhiko
%A Virtema, Jonni
%7 published Version
%I Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH
%K Hilbert
%K Formal logic
%K Modal logic
%K Computer circuits
%K Pathology
%K Modal dependence logic
%K Propositional dependence logic
%K Axiomatizing
%K Biomineralization
%K Propositional logic
%K Reconfigurable hardware
%K Sound and complete
%K Tableau calculus
%K Calculations
%K Konferenzschrift
%K Axiomatization
%K Dependence logic
%D 2015
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH
%C Wadern
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation