Coalgebraic Methods in Computer Science

Overview of attention for book

Cover of 'Coalgebraic Methods in Computer Science'

Table of Contents

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 1 Relating Structure and Power: Comonadic Semantics for Computational Resources
Altmetric Badge

Chapter 2 Coalgebraic Logics & Duality
Altmetric Badge

Chapter 3 Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs
Altmetric Badge

Chapter 4 Undecidability of Equality for Codata Types
Altmetric Badge

Chapter 5 Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
Altmetric Badge

Chapter 6 Long-Term Values in Markov Decision Processes, (Co)Algebraically
Altmetric Badge

Chapter 7 (In)finite Trace Equivalence of Probabilistic Transition Systems
Altmetric Badge

Chapter 8 Steps and Traces
Altmetric Badge

Chapter 9 On Algebras with Effectful Iteration
Altmetric Badge

Chapter 10 Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract)
Altmetric Badge

Chapter 11 Fibrational Bisimulations and Quantitative Reasoning
Altmetric Badge

Chapter 12 Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors

Attention for Chapter 9: On Algebras with Effectful Iteration

Altmetric Badge

Mentioned by

news: 1 news outlet

Citations

dimensions_citation: 2 Dimensions

Readers on

mendeley: 1 Mendeley

Summary News Dimensions citations

So far, Altmetric has seen 1 news story.

Stefan Milius, Jiří Adámek, Henning Urbat. On Algebras with Effectful Iteration. Corina Cîrstea. 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. Springer International Publishing, Lecture Note

HAL Archives-Ouvertes, 21 Feb 2019

Stefan Milius, Jiří Adámek, Henning Urbat. On Algebras with Effectful Iteration.

This page shows the most recent news stories that mention this research output.

Click here to find out how to access more activity.