TY -
GEN
AU - Corradini, Andrea
AU - Klin, Bartek
AU - Cîrstea, Corina
TI -
Algebra and Coalgebra in Computer Science
4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
PB - Springer Berlin Heidelberg
SN - 9783642229442
KW - Logic design
KW - Computational complexity
KW - Algebra Data processing
KW - Computer science
KW - Computer Science
KW - Machine theory.
KW - Discrete mathematics.
KW - Paperback / softback
KW - Research
KW - automata theory
KW - categories
KW - coalgebraic logics
KW - coalgebraic semantics
KW - computational logic
KW - duality
KW - reversible processes
KW - Konferenzschrift 2011 Winchester
KW - Theoretische Informatik
KW - Koalgebra
KW - Algebra
KW - Formale Methode
PY - 2011
BT - Lecture Notes in Computer Science ; 6859
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - https://katalog.slub-dresden.de/en/?cHash=0bb8bd27a7fbde41cd02875a74ca0f3d&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-1651025169&tx_find_find%5Btype%5D=ris
ER -