Opening book details…
Can I read Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings on EtoBox?
Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings by David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.) is a nonfiction available to read on EtoBox.
What is Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings about?
Annotation This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. The 33 full papers presented together with 7 invited talks, were carefully reviewed and selected from 103 submissions. Topics covered include automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, modal and temporal logic, model checking, decision procedures, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, and nonmonotonic reasoning
Who reads Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2010
- Language
- EN
- ISBN
- 9783642152054
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Language Learning
More by David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)
Browse all works by David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)
Similar books
- Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (Lecture Notes in Computer Science (1584)) — Petr Hájek (auth.), Georg Gottlob, Etienne Grandjean, Katrin Seyr (1999)
- Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings — Markus Holzer, Martin Kutrib (auth.), Antonín Kučera, Igor Potapov (2010)
- Mathematical Foundations of Computer Science 2010: 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings (Lecture Notes in Computer Science (6281)) — Andris Ambainis (auth.), Petr Hliněný, Antonín Kučera (2010)
- Mathematical Foundations of Computer Science 1998: 23rd International Symposium, Mfcs'98 Brno, Czech Republic, August 24-28, 1998 Proceedings (Lecture Notes in Computer Science) — Giorgio Ausiello, Giuseppe F. Italiano (auth.), Luboš Brim, Jozef Gruska, Jiří Zlatuška (1998)
- CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings (Lecture Notes in Computer Science, 2421) — Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko (auth.), Luboš Brim, Mojmír Křetínský, Antonín Kučera, Petr Jančar (2002)
- Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers — Samson Abramsky, Guy McCusker (auth.), Mogens Nielsen, Wolfgang Thomas (1998)
