Algebra and coalgebra in computer science 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submi...

Celý popis

Podrobná bibliografie

Korporativní autor:	SringerLink (Online services)
Další autoři:	Corradini, Andrea (Editor), Klin, Bartek (Editor), Cîrstea, Corina (Editor)
Médium:	Electronic Resource
Jazyk:	English
Vydáno:	Berlin, Heidelberg Springer Berlin Heidelberg [©2011.]
Témata:	Computer science. Logic design. Computational complexity. Algebra > Data processing. Electronic books.
On-line přístup:	Available for University of the Philippines Diliman via SpringerLink. Click here to access