Michel Bauderon
-
Node rewriting in graphs and hypergraphs: a categorical framework
Theoretical Computer Science