Published in: Dagstuhl Reports, Volume 5, Issue 6 (2016)
Erich Grädel, Juha Kontinen, Jouka Väänänen, and Heribert Vollmer. Logics for Dependence and Independence (Dagstuhl Seminar 15261). In Dagstuhl Reports, Volume 5, Issue 6, pp. 70-85, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{gradel_et_al:DagRep.5.6.70, author = {Gr\"{a}del, Erich and Kontinen, Juha and V\"{a}\"{a}n\"{a}nen, Jouka and Vollmer, Heribert}, title = {{Logics for Dependence and Independence (Dagstuhl Seminar 15261)}}, pages = {70--85}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {5}, number = {6}, editor = {Gr\"{a}del, Erich and Kontinen, Juha and V\"{a}\"{a}n\"{a}nen, Jouka and Vollmer, Heribert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.6.70}, URN = {urn:nbn:de:0030-drops-55084}, doi = {10.4230/DagRep.5.6.70}, annote = {Keywords: team semantics, dependence logic, mathematical logic, computational complexity, finite model theory, game theory} }
Feedback for Dagstuhl Publishing