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 $

От издателя

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
22 июля
ЯЗЫК
EN
английский
ОБЪЕМ
212
стр.
ИЗДАТЕЛЬ
Springer International Publishing
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
12,6
МБ
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