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...

Cijeli opis

Bibliografski detalji
Autor kompanije:	SringerLink (Online services)
Daljnji autori:	Corradini, Andrea (Urednik), Klin, Bartek (Urednik), Cîrstea, Corina (Urednik)
Format:	Electronic Resource
Jezik:	engleski
Izdano:	Berlin, Heidelberg Springer Berlin Heidelberg [©2011.]
Teme:	Computer science. Logic design. Computational complexity. Algebra > Data processing. Electronic books.
Online pristup:	Available for University of the Philippines Diliman via SpringerLink. Click here to access