information about Rewriting system field

Rewriting system

Field Hierarchy
Parent
Term (logic)
4 papers
Current
Rewriting system
papers
Child
Knuth–Bendix completion algorithm
0 papers
Trends