Logics for Dependence and Independence (Dagstuhl Seminar 19031).

Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, Heribert Vollmer

Research output: Book/ReportCommissioned reportProfessional

Original languageEnglish
Number of pages19
DOIs
Publication statusPublished - 2019
MoE publication typeD4 Published development or research report or study

Cite this

Grädel, Erich ; Kolaitis, Phokion G. ; Kontinen, Juha ; Vollmer, Heribert. / Logics for Dependence and Independence (Dagstuhl Seminar 19031). 2019. 19 p.
@book{5ae571478501421a9bffd641db249851,
title = "Logics for Dependence and Independence (Dagstuhl Seminar 19031).",
author = "Erich Gr{\"a}del and Kolaitis, {Phokion G.} and Juha Kontinen and Heribert Vollmer",
year = "2019",
doi = "10.4230/DagRep.9.1.28",
language = "English",

}

Logics for Dependence and Independence (Dagstuhl Seminar 19031). / Grädel, Erich; Kolaitis, Phokion G.; Kontinen, Juha; Vollmer, Heribert.

2019. 19 p.

Research output: Book/ReportCommissioned reportProfessional

TY - BOOK

T1 - Logics for Dependence and Independence (Dagstuhl Seminar 19031).

AU - Grädel, Erich

AU - Kolaitis, Phokion G.

AU - Kontinen, Juha

AU - Vollmer, Heribert

PY - 2019

Y1 - 2019

U2 - 10.4230/DagRep.9.1.28

DO - 10.4230/DagRep.9.1.28

M3 - Commissioned report

BT - Logics for Dependence and Independence (Dagstuhl Seminar 19031).

ER -