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-8zbMATH Open1248.03007DBLPconf/esslli/2011OpenAlexW572864054WikidataQ59902628 ScholiaQ59902628MaRDI QIDQ433735FDOQ433735
Authors:
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
Recommendations
- Computer science logic. 11th international workshop, CSL '97. Annual conference of the EACSL, Aarhus, Denmark, August 23--29, 1997. Proceedings
- New directions in logic, language and computation. ESSLLI 2010 and ESSLLI 2011 student sessions. Selected papers
- Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23--27, 2010. Proceedings
- Computer science logic (CSL'11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12--15, 2011.
- Logic and computer science. Lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
- Proceedings Third International Workshop on Classical Logic and Computation
- Special issue: Classical logic and computation. Selected papers based on the presentations at the workshop (CLAC 2010), Brno, Czech Republic, August 22, 2010
- scientific article; zbMATH DE number 6116731
- Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers
- scientific article; zbMATH DE number 48608
Social choice (91B14) Collections of articles of miscellaneous specific interest (00B15) Game theory (91A99) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Automata and formal grammars in connection with logical questions (03D05) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15)
Cited In (3)
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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q433735)