Logics for Dependence and Independence: Report from Dagstuhl Seminar 19031

Publikation: Beitrag in FachzeitschriftArtikelForschung

Autorschaft

Externe Organisationen

  • Universität Helsinki
  • Rheinisch-Westfälische Technische Hochschule Aachen (RWTH)
  • University of California at Santa Cruz
Forschungs-netzwerk anzeigen

Details

OriginalspracheDeutsch
Seiten (von - bis)28-46
Seitenumfang19
FachzeitschriftDagstuhl Reports
Jahrgang9
Ausgabenummer1
PublikationsstatusElektronisch veröffentlicht (E-Pub) - 19 Juni 2019

Zitieren

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

Publikation: Beitrag in FachzeitschriftArtikelForschung

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. Vorabveröffentlichung online. 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 ; Jahrgang 9, Nr. 1. S. 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",
journal = "Dagstuhl Reports",
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 -

Von denselben Autoren