%0 Conference Paper %1 conf/wollic/EngstromKV13 %A Engström, Fredrik %A Kontinen, Juha %A Väänänen, Jouko A. %B WoLLIC %D 2013 %E Libkin, Leonid %E Kohlenbach, Ulrich %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 138-152 %T Dependence Logic with Generalized Quantifiers: Axiomatizations. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2013.html#EngstromKV13 %V 8071 %@ 978-3-642-39991-6

@inproceedings{conf/wollic/EngstromKV13, added-at = {2018-11-02T00:00:00.000+0100}, author = {Engström, Fredrik and Kontinen, Juha and Väänänen, Jouko A.}, biburl = {https://www.bibsonomy.org/bibtex/23a6078c366be3680adfca3034e52c107/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2013}, editor = {Libkin, Leonid and Kohlenbach, Ulrich and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-642-39992-3_14}, interhash = {1687ecb12c771d6aaa86c0a8b654624c}, intrahash = {3a6078c366be3680adfca3034e52c107}, isbn = {978-3-642-39991-6}, keywords = {dblp}, pages = {138-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:00:52.000+0200}, title = {Dependence Logic with Generalized Quantifiers: Axiomatizations.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2013.html#EngstromKV13}, volume = 8071, year = 2013 }