Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11202)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: CMCS 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 papers)
Other volumes
-
Coalgebraic Methods in Computer Science
Keywords
About this book
The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
Editors and Affiliations
Bibliographic Information
Book Title: Coalgebraic Methods in Computer Science
Book Subtitle: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
Editors: Corina Cîrstea
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-00389-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2018
Softcover ISBN: 978-3-030-00388-3Published: 20 September 2018
eBook ISBN: 978-3-030-00389-0Published: 19 September 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 235
Number of Illustrations: 4 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Logics and Meanings of Programs