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 / edited by Helle Hvid Hansen, Fabio Zanasi

Contributor(s):

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 13225Publisher: Cham : Springer International Publishing, 2022Publisher: Cham : Imprint: Springer, 2022Edition: 1st ed. 2022Description: 1 Online-Ressource(XVII, 195 p. 8 illus.)ISBN:

9783031107368

Subject(s):

Additional physical formats: 9783031107351 | 9783031107375 | Erscheint auch als: 9783031107351 Druck-Ausgabe | Erscheint auch als: 9783031107375 Druck-AusgabeDDC classification:

005.131 23

DOI: DOI: 10.1007/978-3-031-10736-8Online resources:

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.PPN: PPN: 1811679099Package identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-LNC

Holdings ( 0 )

No physical items for this record