author = { Corradini, Andrea Klin, Bartek AND Cîrstea, Corina },

title = { Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings },

publisher = {Springer Berlin Heidelberg},

isbn = {9783642229442},

keywords = { Logic design , Computational complexity , Algebra Data processing , Computer science , Computer Science , Machine theory. , Discrete mathematics. , Paperback / softback , Research , automata theory , categories , coalgebraic logics , coalgebraic semantics , computational logic , duality , reversible processes , Konferenzschrift 2011 Winchester , Theoretische Informatik , Koalgebra , Algebra , Formale Methode },

year = {2011},

booktitle = {Lecture Notes in Computer Science ; 6859},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

url = { https://katalog.slub-dresden.de/en/?cHash=a8fa44d3bda0cb9d524c2f0ab6715df9&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-1651025169&tx_find_find%5Btype%5D=bibtex }