DagRep.3.2.45.pdf
- Filesize: 1.42 MB
- 10 pages
Document
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 3, Issue 2
Volume: Dagstuhl Reports, Volume 3
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2013-06-20
Cite AsGet BibTex
Samson Abramsky, Juha Kontinen, Jouko Väänanen, and Heribert Vollmer. Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). In Dagstuhl Reports, Volume 3, Issue 2, pp. 45-54, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
https://doi.org/10.4230/DagRep.3.2.45
https://doi.org/10.4230/DagRep.3.2.45
Abstract
This report documents the programme and outcomes of Dagstuhl Seminar 13071 "Dependence Logic: Theory and Applications". The seminar brought together researchers from different areas such as mathematical logic, quantum mechanics, statistics, social choice theory, and theoretical computer science. A key objective of the seminar was to bring together, for the first time, researchers working in dependence logic and in the application areas so that they can communicate state-of-the-art advances and embark on a systematic interaction.
Keywords
- Data structures
- Algorithms
- Complexity
- Verification
- Logic
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads