Coalgebraic Methods in Computer Science
13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
-
- US$39.99
-
- US$39.99
출판사 설명
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.
장르
컴퓨터 및 인터넷
출시일
2016년
6월 3일
언어
EN
영어
길이
244
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
7.2
MB
Relational and Algebraic Methods in Computer Science
2018년
Relational and Algebraic Methods in Computer Science
2017년
Coalgebraic Methods in Computer Science
2020년
Coalgebraic Methods in Computer Science
2014년
Logic, Language, Information, and Computation
2017년
Relations and Kleene Algebra in Computer Science
2009년