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 €
Beschreibung des Verlags
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
Computer und Internet
ERSCHIENEN
2022
22. Juli
SPRACHE
EN
Englisch
UMFANG
212
Seiten
VERLAG
Springer International Publishing
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
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