Lectures on logic and computation. ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011. Selected lecture notes
DOI10.1007/978-3-642-31485-8zbMath1248.03007DBLPconf/esslli/2011OpenAlexW572864054WikidataQ59902628 ScholiaQ59902628MaRDI QIDQ433735
No author found.
Publication date: 6 July 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31485-8
Game theory (91A99) Logic in artificial intelligence (68T27) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Complexity of computation (including implicit computational complexity) (03D15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Social choice (91B14)
This page was built for publication: Lectures on logic and computation. ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011. Selected lecture notes
