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

Full beskrivning

Bibliografiska uppgifter

Institutionell upphovsman:	SringerLink (Online services)
Övriga upphovsmän:	Corradini, Andrea (Utgivare, redaktör, sammanställare), Klin, Bartek (Utgivare, redaktör, sammanställare), Cîrstea, Corina (Utgivare, redaktör, sammanställare)
Materialtyp:	Electronic Resource
Språk:	English
Publicerad:	Berlin, Heidelberg Springer Berlin Heidelberg [©2011.]
Ämnen:	Computer science. Logic design. Computational complexity. Algebra > Data processing. Electronic books.
Länkar:	Available for University of the Philippines Diliman via SpringerLink. Click here to access