Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
Article in TheoretiCS (September 2024)
The most recent citing publication is shown below. View this citation on Dimensions.
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
Altmetric Badge
Citations
- dimensions_citation
- 1 Dimensions