Coalgebraic Methods in Computer Science [electronic resource] : 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): Hansen, Helle Hvid [editor.]
| Zanasi, Fabio [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Lecture Notes in Computer Science: 13225Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Edition: 1st ed. 2022.Description: XVII, 195 p. 8 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783031107368.Subject(s): Machine theory | Logic programming | Computer science -- Mathematics | Formal Languages and Automata Theory | Logic in AI | Mathematics of ComputingAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.131 Online resources: Click here to access online
In:
Springer Nature eBookSummary: 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.
No physical items for this record
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.
There are no comments for this item.