@inproceedings{Durand2011, address = "Dagstuhl, Germany", author = "Durand, Arnaud and Strozecki, Yann", booktitle = "CSL 2011: the 25th International Workshop/20th Annual Conference of the EACSL - Computer Science Logic", doi = "10.4230/LIPIcs.CSL.2011.189", editor = "Bezem, Marc", isbn = "978-3-939897-32-3", issn = "1868-8969", keyword = "004,descriptive complexity,enumeration,query problem", language = "eng", link = "http://drops.dagstuhl.de/opus/volltexte/2011/3231/", month = "aug", pages = "189--202", publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik", series = "Leibniz International Proceedings in Informatics (LIPIcs)", title = "Enumeration Complexity of Logical Query Problems with Second-order Variables", uri = "http://drops.dagstuhl.de/opus/volltexte/2011/3231/", volume = "12", year = "2011", }
Problems: 206