Dependence Logic Theory and Applications /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Abramsky, Samson (Editor), Kontinen, Juha (Editor), Väänänen, Jouko (Editor), Vollmer, Heribert (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016.
• Subjects: Mathematics.; Logic.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributin...