Publisher's Synopsis
Constitutes the proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. This book addresses two basic areas of application for algebras and coalgebras - as mathematical objects as well as their application in computer science.