Category:Graph rewriting

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

Category:Formal languages

Category:Graph algorithms

Category:Rewriting systems

Category:Implementation of functional programming languages