Sign in
ESSLLI
1997
2002
2007
2012
1997
2012
Keyphrases
Publications
volume 7388, 2012
Lectures on Logic and Computation - ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
ESSLLI
7388 (2012)
2011
Davide Grossi
,
Gabriella Pigozzi
Introduction to Judgment Aggregation.
ESSLLI
(2011)
Wojciech Jamroga
,
Wojciech Penczek
Specification and Verification of Multi-Agent Systems.
ESSLLI
(2011)
Ugo Dal Lago
A Short Introduction to Implicit Computational Complexity.
ESSLLI
(2011)
Jan M. Broersen
,
Leendert W. N. van der Torre
Ten Problems of Deontic Logic and Normative Reasoning in Computer Science.
ESSLLI
(2011)
Olaf Beyersdorff
,
Oliver Kutz
Proof Complexity of Non-classical Logics.
ESSLLI
(2011)
Sujata Ghosh
,
Ramaswamy Ramanujam
Strategies in Games: A Logic-Automata Study.
ESSLLI
(2011)
volume 1754, 2000
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
1754 (2000)
1997
Jouko A. Väänänen
Generalized Quantifiers, an Introduction.
ESSLLI
(1997)
Kerkko Luosto
Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers.
ESSLLI
(1997)
Thomas Eiter
,
Georg Gottlob
,
Helmut Veith
Generalized Quantifiers in Logic Programs.
ESSLLI
(1997)
Iain A. Stewart
A Perspective on Lindström Quantifiers and Oracles.
ESSLLI
(1997)
Heribert Vollmer
A Generalized Quantifier Concept in Computational Complexity Theory.
ESSLLI
(1997)
Leonid Libkin
,
Juha Nurmonen
Counting and Locality over Finite Structures: A Survey.
ESSLLI
(1997)