Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings /

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submi...

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Corradini, Andrea (Éditeur intellectuel), Klin, Bartek (Éditeur intellectuel), Cîrstea, Corina (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Édition:	1st ed. 2011.
Collection:	Theoretical Computer Science and General Issues, 6859
Sujets:	Computer science. Machine theory. Computer science-Mathematics. Discrete mathematics. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Discrete Mathematics in Computer Science. Symbolic and Algebraic Manipulation. Models of Computation. Theory of Computation.
Accès en ligne:	Texto Completo