%0 Book Section %1 books/daglib/p/0001KV16 %A Durand, Arnaud %A Kontinen, Juha %A Vollmer, Heribert %B Dependence Logic %D 2016 %E Abramsky, Samson %E Kontinen, Juha %E Väänänen, Jouko %E Vollmer, Heribert %I Springer %K dblp %P 5-32 %T Expressivity and Complexity of Dependence Logic. %U http://dblp.uni-trier.de/db/books/collections/AKVV2016.html#0001KV16 %@ 978-3-319-31803-5

@incollection{books/daglib/p/0001KV16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Durand, Arnaud and Kontinen, Juha and Vollmer, Heribert}, biburl = {https://www.bibsonomy.org/bibtex/226e14f6485fbe1d702e4906ad5de7b09/dblp}, booktitle = {Dependence Logic}, crossref = {books/daglib/0037838}, editor = {Abramsky, Samson and Kontinen, Juha and Väänänen, Jouko and Vollmer, Heribert}, ee = {https://doi.org/10.1007/978-3-319-31803-5_2}, interhash = {37562e14acf5fd7aca8c35da852f6334}, intrahash = {26e14f6485fbe1d702e4906ad5de7b09}, isbn = {978-3-319-31803-5}, keywords = {dblp}, pages = {5-32}, publisher = {Springer}, timestamp = {2018-11-03T12:44:40.000+0100}, title = {Expressivity and Complexity of Dependence Logic.}, url = {http://dblp.uni-trier.de/db/books/collections/AKVV2016.html#0001KV16}, year = 2016 }