default search action
Search dblp for Publications
export results for "toc:db/conf/esslli/esslli1997.bht:"
@proceedings{DBLP:conf/esslli/1997, editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1754}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-46583-9}, doi = {10.1007/3-540-46583-9}, isbn = {3-540-66993-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esslli/1997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esslli/EiterGV97, author = {Thomas Eiter and Georg Gottlob and Helmut Veith}, editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Generalized Quantifiers in Logic Programs}, booktitle = {Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1754}, pages = {72--98}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-46583-9\_4}, doi = {10.1007/3-540-46583-9\_4}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esslli/EiterGV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esslli/LibkinN97, author = {Leonid Libkin and Juha Nurmonen}, editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Counting and Locality over Finite Structures: {A} Survey}, booktitle = {Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1754}, pages = {18--50}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-46583-9\_2}, doi = {10.1007/3-540-46583-9\_2}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esslli/LibkinN97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esslli/Luosto97, author = {Kerkko Luosto}, editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers}, booktitle = {Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1754}, pages = {124--139}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-46583-9\_6}, doi = {10.1007/3-540-46583-9\_6}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esslli/Luosto97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esslli/Stewart97, author = {Iain A. Stewart}, editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {A Perspective on Lindstr{\"{o}}m Quantifiers and Oracles}, booktitle = {Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1754}, pages = {51--71}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-46583-9\_3}, doi = {10.1007/3-540-46583-9\_3}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esslli/Stewart97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esslli/Vaananen97, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Generalized Quantifiers, an Introduction}, booktitle = {Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1754}, pages = {1--17}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-46583-9\_1}, doi = {10.1007/3-540-46583-9\_1}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esslli/Vaananen97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esslli/Vollmer97, author = {Heribert Vollmer}, editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {A Generalized Quantifier Concept in Computational Complexity Theory}, booktitle = {Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1754}, pages = {99--123}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-46583-9\_5}, doi = {10.1007/3-540-46583-9\_5}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esslli/Vollmer97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.