@proceedings{ESSLLI, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/esslli/2011st}, date-added = {2016-07-12 11:20:34 +0000}, date-modified = {2016-07-12 11:20:34 +0000}, doi = {10.1007/978-3-642-31467-4}, editor = {Daniel Lassiter and Marija Slavkovik}, isbn = {978-3-642-31466-7}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {Tue, 03 Sep 2013 09:33:15 +0200}, title = {New Directions in Logic, Language and Computation - {ESSLLI} 2010 and {ESSLLI} 2011 Student Sessions. Selected Papers}, url = {http://dx.doi.org/10.1007/978-3-642-31467-4}, volume = {7415}, year = {2012}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-31467-4}}