pdf-format: |
|
@Article{grdel_et_al:DR:2016:5508, author = {Erich Gr{\"a}del and Juha Kontinen and Jouka V{\"a}{\"a}n{\"a}nen and Heribert Vollmer}, 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 = {Erich Gr{\"a}del and Juha Kontinen and Jouko V{\"a}{\"a}n{\"a}nen and Heribert Vollmer}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2016/5508}, 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} }
Keywords: | team semantics, dependence logic, mathematical logic, computational complexity, finite model theory, game theory | |
Seminar: | Dagstuhl Reports, Volume 5, Issue 6 | |
Issue date: | 2016 | |
Date of publication: | 11.01.2016 |