2,589 followers
Open Access UCL Research: A Categorical Framework for Learning Generalised Tree Automata https://t.co/mcakrIsnog
Coalgebraic Methods in Computer Science
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic
-
Altmetric BadgeChapter 2 Discrete Density Comonads and Graph Parameters
-
Altmetric BadgeChapter 3 Coalgebraic Semantics for Nominal Automata
-
Altmetric BadgeChapter 4 A Categorical Framework for Learning Generalised Tree Automata
-
Altmetric BadgeChapter 5 Saturated Kripke Structures as Vietoris Coalgebras
-
Altmetric BadgeChapter 6 Algebraic Presentation of Semifree Monads
-
Altmetric BadgeChapter 7 Corecursion Up-to via Causal Transformations
-
Altmetric BadgeChapter 8 Corecursive Algebras in Nature
-
Altmetric BadgeChapter 9 Stick Breaking, in Coalgebra and Probability