TY - BOOK AU - Kurz,Alexander AU - Lenisa,Marina AU - Tarlecki,Andrzej ED - CALCO 2009 ED - SpringerLink (Online service) TI - Algebra and coalgebra in computer science: third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings SN - 9783642037412 (electronic bk.) AV - QA76.9.M35 C35 2009 U1 - 004.0151 22 PY - 2009/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Mathematics KW - Congresses KW - Algebra KW - Computation by Abstract Devices KW - Models and Principles KW - Symbolic and Algebraic Manipulation KW - Discrete Mathematics in Computer Science KW - Mathematical Logic and Formal Languages KW - Computer Science KW - Logics and Meanings of Programs UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-03741-2 ER -