Search dblp for Publications

export results for "toc:db/conf/esslli/esslli1997.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.