Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12094)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): CMCS: International Workshop on Coalgebraic Methods in Computer Science
Conference proceedings info: CMCS 2020.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (10 papers)
-
Front Matter
-
Back Matter
About this book
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2020, colocated with ETAPS 2020, held in Dublin, Ireland, in April 2020. The conference was held as several online events in September and October due to the COVID-19 pandemic.
The 9 revised full papers were carefully reviewed and selected from 13 submissions. Also included is one invited talk. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
Editors and Affiliations
-
Université de Paris, CNRS, IRIF, Paris, France
Daniela Petrişan
-
Radboud University, Nijmegen, The Netherlands
Jurriaan Rot
Bibliographic Information
Book Title: Coalgebraic Methods in Computer Science
Book Subtitle: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings
Editors: Daniela Petrişan, Jurriaan Rot
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-57201-3
Publisher: Springer Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: IFIP International Federation for Information Processing 2020
Softcover ISBN: 978-3-030-57200-6Published: 20 August 2020
eBook ISBN: 978-3-030-57201-3Published: 21 August 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 201
Number of Illustrations: 348 b/w illustrations, 12 illustrations in colour
Topics: Mathematical Logic and Formal Languages, Numeric Computing, Logic in AI