Galois Connections for Patterns: An Algebra of Labelled Graphs

David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav ZivnĂ˝. Galois Connections for Patterns: An Algebra of Labelled Graphs. In Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, editors, Graph Structures for Knowledge Representation and Reasoning - 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers. Volume 12640 of Lecture Notes in Computer Science, pages 125-150, Springer, 2020. [doi]

Abstract

Abstract is missing.