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 / Helle Hvid Hansen, Fabio Zanasi (eds.).
"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 f...
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Ebook |
| Language: | English |
| Published: |
Cham :
Springer,
[2022]
|
| Series: | Lecture notes in computer science ;
13225. |
| Subjects: | |
| Online Access: | Springer eBooks |
| Summary: | "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."--Publisher's website. |
|---|---|
| Item Description: | International conference proceedings. Includes author index. |
| Physical Description: | 1 online resource (xvii, 195 pages) : illustrations. |
| ISBN: | 3031107357 9783031107351 3031107365 9783031107368 |
| ISSN: | 1611-3349 ; |