Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ESSLLI"( http://dblp.L3S.de/Venues/ESSLLI )

URL (DBLP): http://dblp.uni-trier.de/db/conf/esslli

Publication years (Num. hits)
1997 (6) 2000 (1) 2011 (6) 2012 (1)
Publication types (Num. hits)
inproceedings(12) proceedings(2)
Venues (Conferences, Journals, ...)
ESSLLI(14)
Authors
Jouko A. Väänänen(2) Davide Grossi(1) Gabriella Pigozzi(1) Georg Gottlob(1) Helmut Veith(1) Heribert Vollmer(1) Iain A. Stewart(1) Jan M. Broersen(1) Juha Nurmonen(1) Kerkko Luosto(1) Leendert W. N. van der Torre(1) Leonid Libkin(1) Nick Bezhanishvili(1) Olaf Beyersdorff(1) Oliver Kutz(1) Ramaswamy Ramanujam(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Nick Bezhanishvili, Valentin Goranko (eds.) Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes Search on Bibsonomy ESSLLI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Davide Grossi, Gabriella Pigozzi Introduction to Judgment Aggregation. Search on Bibsonomy ESSLLI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wojciech Jamroga, Wojciech Penczek Specification and Verification of Multi-Agent Systems. Search on Bibsonomy ESSLLI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ugo Dal Lago A Short Introduction to Implicit Computational Complexity. Search on Bibsonomy ESSLLI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jan M. Broersen, Leendert W. N. van der Torre Ten Problems of Deontic Logic and Normative Reasoning in Computer Science. Search on Bibsonomy ESSLLI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Olaf Beyersdorff, Oliver Kutz Proof Complexity of Non-classical Logics. Search on Bibsonomy ESSLLI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sujata Ghosh, Ramaswamy Ramanujam Strategies in Games: A Logic-Automata Study. Search on Bibsonomy ESSLLI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jouko A. Väänänen (eds.) 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 Search on Bibsonomy ESSLLI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jouko A. Väänänen Generalized Quantifiers, an Introduction. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Kerkko Luosto Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  BibTeX  RDF
1Thomas Eiter, Georg Gottlob, Helmut Veith Generalized Quantifiers in Logic Programs. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Iain A. Stewart A Perspective on Lindström Quantifiers and Oracles. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Heribert Vollmer A Generalized Quantifier Concept in Computational Complexity Theory. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Leonid Libkin, Juha Nurmonen Counting and Locality over Finite Structures: A Survey. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license