Category:Rewriting systems

Subcategories

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

A

Abstract machines (1 C, 8 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 36 pages are in this category, out of 36 total. This list may not reflect recent changes.

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

Uses material from the Wikipedia article Category:Rewriting systems, released under the CC BY-SA 4.0 license.