Term Rewriting and Applications (Q5703860)
From MaRDI portal
scientific article; zbMATH DE number 2227929
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Term Rewriting and Applications |
scientific article; zbMATH DE number 2227929 |
Statements
Term Rewriting and Applications (English)
0 references
11 November 2005
0 references
string rewriting
0 references
semi-Thue system
0 references
uniform termination
0 references
termination
0 references
one-rule
0 references
single-rule
0 references
single-threaded
0 references
well-behaved
0 references
