Search:

Type:

Format:

Library:

Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings Cover Image

E-book

E-book

Algebra and Coalgebra in Computer Science [electronic resource] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings / edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki.

Kurz, Alexander. (editor.). Lenisa, Marina. (editor.). Tarlecki, Andrzej. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642037412
Physical Description: online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Search for related items by subject

Subject:

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.

Search for related items by series

Add to basket Print Email Permalink Enable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record