ENGLISH

Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

By Samson Abramsky , Dirk Pattinson , Jonathan Zvesper (auth.) , Lutz Schröder (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2012
ISBN
9783642327841, 3642327842, 9783642327834, 3642327834
DOI
10.1007/978-3-642-32784-1
Language
english
Format
PDF
Filesize
3 MB (2714179 bytes)
Series
Lecture Notes in Computer Science 7399 Advanced research in computing and software science
Edition
1
Pages
259\266
Time added
2013-04-24 17:00:00
Mathematical Logic and Formal Languages; Computati

Description

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.

Similar books