Theoretical Computer Science and General Issues IFIP-LNCS Volumes

Coalgebraic Methods in Computer Science

14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

Editors: Cîrstea, Corina (Ed.)

Free Preview

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-030-00389-0
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-030-00388-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.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.

Table of contents (12 chapters)

Table of contents (12 chapters)
  • Relating Structure and Power: Comonadic Semantics for Computational Resources

    Abramsky, Samson (et al.)

    Pages 1-5

  • Coalgebraic Logics & Duality

    Kupke, Clemens

    Pages 6-12

  • Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs

    Berardi, Stefano (et al.)

    Pages 13-33

  • Undecidability of Equality for Codata Types

    Berger, Ulrich (et al.)

    Pages 34-55

  • Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

    Dorsch, Ulrich (et al.)

    Pages 56-77

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-030-00389-0
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-030-00388-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Theoretical Computer Science and General Issues
Series Volume
11202
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-030-00389-0
DOI
10.1007/978-3-030-00389-0
Softcover ISBN
978-3-030-00388-3
Edition Number
1
Number of Pages
IX, 235
Number of Illustrations
4 b/w illustrations
Topics