Check nearby libraries
Buy this book
This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013. The 18 full papers presented together with 4 invited talks were carefully reviewed and selected from 33 submissions. The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing. The book also includes 6 papers from the CALCO Tools Workshop, co-located with CALCO 2013 and dedicated to tools based on algebraic and/or coalgebraic principles.
Check nearby libraries
Buy this book
Edition | Availability |
---|---|
1
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings
2013, Springer London, Limited
in English
3642402062 9783642402067
|
zzzz
|
2
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings
Aug 08, 2013, Springer
paperback
3642402054 9783642402050
|
aaaa
|
Book Details
Edition Notes
Source title: Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings (Lecture Notes in Computer Science (8089))
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created June 27, 2020
- 3 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
September 21, 2024 | Edited by MARC Bot | import existing book |
February 26, 2022 | Edited by ImportBot | import existing book |
June 27, 2020 | Created by ImportBot | Imported from amazon.com record |