Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation

Dominique Duval Rachid Echahed Frédéric Prost

Published in: CoRR (2011)

Keyphrases

graph transformation
rewriting systems
rewriting rules
database
databases
life cycle