Cover Image

Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings /

This book constitutes the proceedings of the Third International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009, formed in 2005 by joining CMCS and WADT. This year the conference was held in Udine, Italy, September 7-10, 2009. The 23 full papers were carefully reviewed and selec...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Kurz, Alexander. (Editor), Lenisa, Marina. (Editor), Tarlecki, Andrzej. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series:Lecture Notes in Computer Science, 5728
Subjects:
Computer science.
Logic design.
Computational complexity.
Algebra > Data processing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Models and Principles.
Computation by Abstract Devices.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-03741-2

Fulltext / Holdings URL

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

Similar Items