License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.3.2.45
URN: urn:nbn:de:0030-drops-40127
URL: http://drops.dagstuhl.de/opus/volltexte/2013/4012/
Go back to Dagstuhl Reports


Abramsky, Samson ; Kontinen, Juha ; Väänanen, Jouko ; Vollmer, Heribert
Weitere Beteiligte (Hrsg. etc.): Samson Abramsky and Juha Kontinen and Jouko Vaananen and Heribert Vollmer

Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)

pdf-format:
dagrep_v003_i002_p045_s13071.pdf (1 MB)


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.

BibTeX - Entry

@Article{abramsky_et_al:DR:2013:4012,
  author =	{Samson Abramsky and Juha Kontinen and Jouko V{\"a}{\"a}nanen and Heribert Vollmer},
  title =	{{Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)}},
  pages =	{45--54},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{2},
  editor =	{Samson Abramsky and Juha Kontinen and Jouko Vaananen and Heribert Vollmer},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4012},
  URN =		{urn:nbn:de:0030-drops-40127},
  doi =		{10.4230/DagRep.3.2.45},
  annote =	{Keywords: Data structures, Algorithms, Complexity, Verification, Logic}
}

Keywords: Data structures, Algorithms, Complexity, Verification, Logic
Seminar: Dagstuhl Reports, Volume 3, Issue 2
Issue Date: 2013
Date of publication: 20.06.2013


DROPS-Home | Fulltext Search | Imprint Published by LZI