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 US$
    • ‏89٫99 US$

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٢
٢٢ يوليو
اللغة
EN
الإنجليزية
عدد الصفحات
٢١٢
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
١٢٫٦
‫م.ب.‬
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
٢٠١٨
Introduction to Coalgebra Introduction to Coalgebra
٢٠١٦
Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory
٢٠١٨
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
٢٠١١
Operator Algebras and Applications Operator Algebras and Applications
٢٠١٦
Symmetries, Integrable Systems and Representations Symmetries, Integrable Systems and Representations
٢٠١٢
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
٢٠٢٣
Logic, Language, and Computation Logic, Language, and Computation
٢٠١٧