research
∙
04/14/2022
Fundamentals of Compositional Rewriting Theory
A foundational theory of compositional categorical rewriting theory is p...
share
research
∙
05/06/2021
Concurrency Theorems for Non-linear Rewriting Theories
Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic mat...
research
∙
12/03/2020
Reversibility and Composition of Rewriting in Hierarchies
In this paper, we study how graph transformations based on sesqui-pushou...
research
∙
02/05/2020
Knowledge representation and update in hierarchies of graphs
A mathematical theory is presented for the representation of knowledge i...
research
∙
02/18/2019
Schema Validation and Evolution for Graph Databases
Despite the maturity of commercial graph databases, little consensus has...
research
∙
03/03/2016