Coalgebraic Methods in Computer Science
16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings
-
- US$89.99
-
- US$89.99
출판사 설명
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022.
The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
장르
컴퓨터 및 인터넷
출시일
2022년
7월 22일
언어
EN
영어
길이
212
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
12.6
MB
Coalgebraic Methods in Computer Science
2018년
Introduction to Coalgebra
2016년
Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory
2018년
Typed Lambda Calculi and Applications
2011년
Operator Algebras and Applications
2016년
Symmetries, Integrable Systems and Representations
2012년