%0
Generic
%T
Algebra and Coalgebra in Computer Science
4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
%A Corradini, Andrea
%A Klin, Bartek
%A Cîrstea, Corina
%I Springer Berlin Heidelberg
%@ 9783642229442
%K Logic design
%K Computational complexity
%K Algebra Data processing
%K Computer science
%K Computer Science
%K Machine theory.
%K Discrete mathematics.
%K Paperback / softback
%K Research
%K automata theory
%K categories
%K coalgebraic logics
%K coalgebraic semantics
%K computational logic
%K duality
%K reversible processes
%K Konferenzschrift 2011 Winchester
%K Theoretische Informatik
%K Koalgebra
%K Algebra
%K Formale Methode
%D 2011
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U https://katalog.slub-dresden.de/en/?cHash=d436d54d7a76fc6fe03d5b8c85ebf4cf&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-1651025169&tx_find_find%5Btype%5D=endnote