Category:Graph rewriting

Graph rewriting combines rewriting with graphs, being a part of graph theory and computer science studying changes in graphs.