Category:Rewriting systems

From Wikipedia, the free encyclopedia

Jump to navigation Jump to search

Subcategories

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

A

► Abstract machines‎ (1 C, 5 P)

G

► Graph rewriting‎ (10 P)

S

► Substitution (logic)‎ (3 P)

T

► Term-rewriting programming languages‎ (13 P)

U

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

Pages in category "Rewriting systems"

The following 34 pages are in this category, out of 34 total. This list may not reflect recent changes (learn more).

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