Coalgebraic Methods in Computer Science [electronic resource] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

• Tác giả: Ichiro Hasuo
• ISBN-13: 978-3319403700
• Ký hiệu phân loại: 005.131 Symbolic logic (Mathematical logic)
• Thông tin xuất bản: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Mô tả vật lý: IX, 235 p. 5 illus. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 328779
• Chủ đề: 1. Artificial intelligence; 2. Computer science; 3. Machine theory; 4. Formal Languages and Automata Theory; 5. Theory of Computation

Tóm tắt

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016. The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.