Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science

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

    • $89.99
    • $89.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
Computers & Internet
RELEASED
2022
July 22
LANGUAGE
EN
English
LENGTH
212
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
12.6
MB
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
2018
Introduction to Coalgebra Introduction to Coalgebra
2016
Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory
2018
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
2011
Operator Algebras and Applications Operator Algebras and Applications
2016
Symmetries, Integrable Systems and Representations Symmetries, Integrable Systems and Representations
2012
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
2023
Logic, Language, and Computation Logic, Language, and Computation
2017