Reducing the gradedness problem of string rewriting systems to a termination problem (Q3465631)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reducing the gradedness problem of string rewriting systems to a termination problem |
scientific article |
Statements
Reducing the gradedness problem of string rewriting systems to a termination problem (English)
0 references
22 January 2016
0 references
string rewriting
0 references
termination
0 references
gradedness
0 references
