ENGLISH

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 , Helmut Veith (eds.) , Cas Cremers (auth.) , Anuj Dawar

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2010
ISBN
9783642152054, 3642152058
DOI
10.1007/978-3-642-15205-4
Language
english
Format
PDF
Filesize
6 MB (6783979 bytes)
Series
Lecture Notes in Computer Science 6247 : Theoretical Computer Science and General Issues
Edition
1
Pages
548\561
Time added
2013-04-24 17:00:00
CompilersInterpreters; Algorithm Analysis and Problem ComplLogics and Meanings of Programs; Mathematical Logi

Description

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.

Similar books