Knowledge representation and update in hierarchies of graphs
From MaRDI portal
DOI10.1016/j.jlamp.2020.100559zbMath1441.68245arXiv2002.01766OpenAlexW4392484296MaRDI QIDQ5896114
Publication date: 14 July 2020
Published in: Journal of Logical and Algebraic Methods in Programming, Graph Transformation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2002.01766
Database theory (68P15) Graph theory (including graph drawing) in computer science (68R10) Knowledge representation (68T30) Grammars and rewriting systems (68Q42)
Related Items (5)
Fundamentals of compositional rewriting theory ⋮ Preface to the special issue on the 12th international conference on graph transformation ⋮ Unnamed Item ⋮ Knowledge representation and update in hierarchies of graphs ⋮ Concurrency theorems for non-linear rewriting theories
Uses Software
Cites Work
This page was built for publication: Knowledge representation and update in hierarchies of graphs