Algebra and coalgebra in computer science third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings - CALCO 2009 (2009 : Udine, Italy); Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science -- Mathematics -- Congresses; Algebra -- Congresses; Computation by Abstract Devices; Models and Principles; Symbolic and Algebraic Manipulation; Discrete Mathematics in Computer Science; Mathematical Logic and Formal Languages; Computer Science; Logics and Meanings of Programs