|
|
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 |
ESSLLI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Davide Grossi, Gabriella Pigozzi |
Introduction to Judgment Aggregation. |
ESSLLI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Jamroga, Wojciech Penczek |
Specification and Verification of Multi-Agent Systems. |
ESSLLI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago |
A Short Introduction to Implicit Computational Complexity. |
ESSLLI |
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. |
ESSLLI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff, Oliver Kutz |
Proof Complexity of Non-classical Logics. |
ESSLLI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sujata Ghosh, Ramaswamy Ramanujam |
Strategies in Games: A Logic-Automata Study. |
ESSLLI |
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 |
ESSLLI |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jouko A. Väänänen |
Generalized Quantifiers, an Introduction. |
ESSLLI |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kerkko Luosto |
Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers. |
ESSLLI |
1997 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Georg Gottlob, Helmut Veith |
Generalized Quantifiers in Logic Programs. |
ESSLLI |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Iain A. Stewart |
A Perspective on Lindström Quantifiers and Oracles. |
ESSLLI |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Heribert Vollmer |
A Generalized Quantifier Concept in Computational Complexity Theory. |
ESSLLI |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Leonid Libkin, Juha Nurmonen |
Counting and Locality over Finite Structures: A Survey. |
ESSLLI |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|