Algebra and Coalgebra in Computer Science [electronic resource] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea.
Material type:
Computer fileSeries: Lecture Notes in Computer Science ; 6859Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011.Description: v.: digitalISBN: - 9783642229442
- Computer science
- Logic design
- Computational complexity
- Algebra -- Data processing
- Computer Science
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Discrete Mathematics in Computer Science
- Symbolic and Algebraic Manipulation
- Models and Principles
- Computation by Abstract Devices
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.