Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13225)
Included in the following conference series:
Conference proceedings info: CMCS 2022.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Coalgebraic Methods in Computer Science
Keywords
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Coalgebraic Methods in Computer Science
Book Subtitle: 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings
Editors: Helle Hvid Hansen, Fabio Zanasi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-10736-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2022
Softcover ISBN: 978-3-031-10735-1Published: 23 July 2022
eBook ISBN: 978-3-031-10736-8Published: 22 July 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 195
Number of Illustrations: 8 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Logic in AI, Mathematics of Computing
