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

Coalgebraic Methods in Computer Science

Overview of attention for book
Cover of 'Coalgebraic Methods in Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Theory of Universal Graphs for Games: Past and Future
  3. Altmetric Badge
    Chapter 2 Approximate Coalgebra Homomorphisms and Approximate Solutions
  4. Altmetric Badge
    Chapter 3 Duality for Instantial Neighbourhood Logic via Coalgebra
  5. Altmetric Badge
    Chapter 4 Free-Algebra Functors from a Coalgebraic Perspective
  6. Altmetric Badge
    Chapter 5 Learning Automata with Side-Effects
  7. Altmetric Badge
    Chapter 6 De Finetti’s Construction as a Categorical Limit
  8. Altmetric Badge
    Chapter 7 Injective Objects and Fibered Codensity Liftings
  9. Altmetric Badge
    Chapter 8 Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas
  10. Altmetric Badge
    Chapter 9 A Categorical Approach to Secure Compilation
  11. Altmetric Badge
    Chapter 10 Semantics for First-Order Affine Inductive Data Types via Slice Categories
Attention for Chapter 1: The Theory of Universal Graphs for Games: Past and Future
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
The Theory of Universal Graphs for Games: Past and Future
Chapter number 1
Book title
Coalgebraic Methods in Computer Science
Published by
Springer, Cham, April 2020
DOI 10.1007/978-3-030-57201-3_1
Book ISBNs
978-3-03-057200-6, 978-3-03-057201-3
Authors

Nathanaël Fijalkow, Fijalkow, Nathanaël

View on publisher site

This page is provided by Altmetric.