Coalgebraic Methods in Computer Science
Author | : Barbara König |
Publisher | : Springer Nature |
Total Pages | : 226 |
Release | : 2024-07-25 |
ISBN-10 | : 9783031664380 |
ISBN-13 | : 3031664388 |
Rating | : 4/5 (388 Downloads) |
Book Synopsis Coalgebraic Methods in Computer Science by : Barbara König
Download or read book Coalgebraic Methods in Computer Science written by Barbara König and published by Springer Nature. This book was released on 2024-07-25 with total page 226 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024. The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.