Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings - Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Logic design; Computational complexity; Algebra -- Data processing; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Discrete Mathematics in Computer Science; Symbolic and Algebraic Manipulation; Models and Principles; Computation by Abstract Devices