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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Corradini, Andrea (Editor ), Klin, Bartek (Editor ), Cîrstea, Corina (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:Theoretical Computer Science and General Issues, 6859
Temas:
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.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares