↓ Skip to main content
What is this page? Embed badge

Coalgebraic Methods in Computer Science

Overview of attention for book
Coalgebraic Methods in Computer Science
Springer International Publishing

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic
  3. Altmetric Badge
    Chapter 2 Discrete Density Comonads and Graph Parameters
  4. Altmetric Badge
    Chapter 3 Coalgebraic Semantics for Nominal Automata
  5. Altmetric Badge
    Chapter 4 A Categorical Framework for Learning Generalised Tree Automata
  6. Altmetric Badge
    Chapter 5 Saturated Kripke Structures as Vietoris Coalgebras
  7. Altmetric Badge
    Chapter 6 Algebraic Presentation of Semifree Monads
  8. Altmetric Badge
    Chapter 7 Corecursion Up-to via Causal Transformations
  9. Altmetric Badge
    Chapter 8 Corecursive Algebras in Nature
  10. Altmetric Badge
    Chapter 9 Stick Breaking, in Coalgebra and Probability
Attention for Chapter 5: Saturated Kripke Structures as Vietoris Coalgebras
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
Summary Dimensions citations
So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.