Cover Image

Dependence Logic Theory and Applications /

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...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Abramsky, Samson. (Editor, http://id.loc.gov/vocabulary/relators/edt), Kontinen, Juha. (Editor, http://id.loc.gov/vocabulary/relators/edt), Väänänen, Jouko. (Editor, http://id.loc.gov/vocabulary/relators/edt), Vollmer, Heribert. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016.
Edition:1st ed. 2016.
Subjects:
Mathematical logic.
Logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-319-31803-5

Internet

https://doi.org/10.1007/978-3-319-31803-5

Similar Items