|
|
Venues (Conferences, Journals, ...)
|
|
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 |
1 | Nick 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](Pics/bibsonomy.png) |
ESSLLI ![Springer, 978-3-642-31484-1 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Davide Grossi, Gabriella Pigozzi |
Introduction to Judgment Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI ![In: Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes, pp. 160-209, 2011, Springer, 978-3-642-31484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Jamroga, Wojciech Penczek |
Specification and Verification of Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI ![In: Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes, pp. 210-263, 2011, Springer, 978-3-642-31484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago |
A Short Introduction to Implicit Computational Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI ![In: Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes, pp. 89-109, 2011, Springer, 978-3-642-31484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan M. Broersen, Leendert W. N. van der Torre |
Ten Problems of Deontic Logic and Normative Reasoning in Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI ![In: Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes, pp. 55-88, 2011, Springer, 978-3-642-31484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff, Oliver Kutz |
Proof Complexity of Non-classical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI ![In: Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes, pp. 1-54, 2011, Springer, 978-3-642-31484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sujata Ghosh, Ramaswamy Ramanujam |
Strategies in Games: A Logic-Automata Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI ![In: Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes, pp. 110-159, 2011, Springer, 978-3-642-31484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jouko 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](Pics/bibsonomy.png) |
ESSLLI ![Springer, 3-540-66993-0 The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jouko A. Väänänen |
Generalized Quantifiers, an Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI ![In: 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, pp. 1-17, 1997, Springer, 3-540-66993-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kerkko Luosto |
Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI ![In: 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, pp. 124-139, 1997, Springer, 3-540-66993-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Georg Gottlob, Helmut Veith |
Generalized Quantifiers in Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI ![In: 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, pp. 72-98, 1997, Springer, 3-540-66993-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Iain A. Stewart |
A Perspective on Lindström Quantifiers and Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI ![In: 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, pp. 51-71, 1997, Springer, 3-540-66993-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Heribert Vollmer |
A Generalized Quantifier Concept in Computational Complexity Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI ![In: 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, pp. 99-123, 1997, Springer, 3-540-66993-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Leonid Libkin, Juha Nurmonen |
Counting and Locality over Finite Structures: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSLLI ![In: 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, pp. 18-50, 1997, Springer, 3-540-66993-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|