Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (eds.)
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
ক্যাটাগোরিগুলো:
সাল:
2012
সংস্করণ:
1
প্রকাশক:
Springer-Verlag Berlin Heidelberg
ভাষা:
english
পৃষ্ঠা:
259
ISBN 10:
3642327842
ISBN 13:
9783642327841
বইয়ের সিরিজ:
Lecture Notes in Computer Science 7399 : Theoretical Computer Science and General Issues
ফাইল:
PDF, 2.65 MB
IPFS:
,
english, 2012