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]

Abstract

Abstract is missing.