TY - DATA AU - Fiadeiro,José Luiz AU - Harman,Neil AU - Roggenbach,Markus AU - Rutten,Jan ED - SpringerLink (Online service) TI - Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540318767 PY - 2005/// CY - Berlin Heidelberg PB - Springer-Verlag GmbH. KW - Algebra KW - Data processing KW - Computer Science KW - Logic design KW - Software engineering KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Software Engineering KW - Symbolic and Algebraic Manipulation UR - http://dx.doi.org/10.1007/11548133 ER -