Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings / [electronic resource] :
edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
- v.: digital
- Lecture Notes in Computer Science, 3629 0302-9743 ; .
9783540318767
Computer science Software engineering Logic design Algebra--Data processing Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Symbolic and Algebraic Manipulation