Cover Image

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /

This book constitutes the proceedings of the 23rd International Workshop on Computer Science Logic, CSL 2009, held in Coimbra, Portugal, in September 2009. The 34 papers presented together with 5 invited talks were carefully reviewed and selected from 89 full paper submissions. All current aspects o...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Grd̃el, Erich. (Editor), Kahle, Reinhard. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series:Lecture Notes in Computer Science, 5771
Subjects:
Computer science.
Coding theory.
Logic design.
Algebra > Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Symbolic and Algebraic Manipulation.
Coding and Information Theory.
Mathematics of Computing.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-04027-6

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-04027-6

Similar Items