Logics for Dependence and Independence: Report from Dagstuhl Seminar 19031

Research output: Contribution to journalArticleResearch

Authors

External Research Organisations

  • University of Helsinki
  • RWTH Aachen University
  • University of California at Santa Cruz
View graph of relations

Details

Original languageGerman
Pages (from-to)28-46
Number of pages19
JournalDagstuhl Reports
Volume9
Issue number1
Publication statusE-pub ahead of print - 19 Jun 2019

Cite this

Logics for Dependence and Independence: Report from Dagstuhl Seminar 19031. / Vollmer, Heribert; Kontinen, Juha; Grädel, Erich et al.
In: Dagstuhl Reports, Vol. 9, No. 1, 19.06.2019, p. 28-46.

Research output: Contribution to journalArticleResearch

Vollmer, H, Kontinen, J, Grädel, E & Kolaitis, PG 2019, 'Logics for Dependence and Independence: Report from Dagstuhl Seminar 19031', Dagstuhl Reports, vol. 9, no. 1, pp. 28-46. https://doi.org/10.4230/DagRep.9.1.28
Vollmer, H., Kontinen, J., Grädel, E., & Kolaitis, P. G. (2019). Logics for Dependence and Independence: Report from Dagstuhl Seminar 19031. Dagstuhl Reports, 9(1), 28-46. Advance online publication. https://doi.org/10.4230/DagRep.9.1.28
Vollmer H, Kontinen J, Grädel E, Kolaitis PG. Logics for Dependence and Independence: Report from Dagstuhl Seminar 19031. Dagstuhl Reports. 2019 Jun 19;9(1):28-46. Epub 2019 Jun 19. doi: 10.4230/DagRep.9.1.28
Vollmer, Heribert ; Kontinen, Juha ; Grädel, Erich et al. / Logics for Dependence and Independence : Report from Dagstuhl Seminar 19031. In: Dagstuhl Reports. 2019 ; Vol. 9, No. 1. pp. 28-46.
Download
@article{97dabacd9a494d69aab017f6384c9c85,
title = "Logics for Dependence and Independence: Report from Dagstuhl Seminar 19031",
author = "Heribert Vollmer and Juha Kontinen and Erich Gr{\"a}del and Kolaitis, {Phokion G.}",
note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",
year = "2019",
month = jun,
day = "19",
doi = "10.4230/DagRep.9.1.28",
language = "Deutsch",
volume = "9",
pages = "28--46",
number = "1",

}

Download

TY - JOUR

T1 - Logics for Dependence and Independence

T2 - Report from Dagstuhl Seminar 19031

AU - Vollmer, Heribert

AU - Kontinen, Juha

AU - Grädel, Erich

AU - Kolaitis, Phokion G.

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2019/6/19

Y1 - 2019/6/19

U2 - 10.4230/DagRep.9.1.28

DO - 10.4230/DagRep.9.1.28

M3 - Artikel

VL - 9

SP - 28

EP - 46

JO - Dagstuhl Reports

JF - Dagstuhl Reports

IS - 1

ER -

By the same author(s)