Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)

Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer. Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). Dagstuhl Reports, 3(2):45-54, 2013. [doi]

@article{AbramskyKVV13,
  title = {Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)},
  author = {Samson Abramsky and Juha Kontinen and Jouko A. Väänänen and Heribert Vollmer},
  year = {2013},
  doi = {10.4230/DagRep.3.2.45},
  url = {http://dx.doi.org/10.4230/DagRep.3.2.45},
  researchr = {https://researchr.org/publication/AbramskyKVV13},
  cites = {0},
  citedby = {0},
  journal = {Dagstuhl Reports},
  volume = {3},
  number = {2},
  pages = {45-54},
}