Category:Rewriting systems

Subcategories

This category has the following 5 subcategories, out of 5 total.

A

Abstract machines‎ (1 C, 7 P)

G

Graph rewriting‎ (11 P)

S

Substitution (logic)‎ (3 P)

T

Term-rewriting programming languages‎ (11 P)

U

Unification (computer science)‎ (1 C, 7 P)

Pages in category "Rewriting systems"

The following 35 pages are in this category, out of 35 total. This list may not reflect recent changes.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Rewriting_systems&oldid=547598534"