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
-
- €94.99
-
- €94.99
Publisher Description
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.
GENRE
Computing & Internet
RELEASED
2022
22 July
LANGUAGE
EN
English
LENGTH
212
Pages
PUBLISHER
Springer International Publishing
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
12.6
MB
Coalgebraic Methods in Computer Science
2018
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
Typed Lambda Calculi and Applications
2007