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

• Tác giả: Dirk Pattinson, Lutz Schröder
• ISBN-13: 978-3642327841
• Ký hiệu phân loại: 005.131 Symbolic logic (Mathematical logic)
• Thông tin xuất bản: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Mô tả vật lý: VII, 259 p. 7 illus. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 324548
• Chủ đề: 1. Computer science; 2. Computer science—Mathematics; 3. Machine theory; 4. Mathematical statistics; 5. Formal Languages and Automata Theory

Tóm tắt

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.