Contributions of Ronald V. Book to the theory of string-rewriting systems (Q1274982)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Contributions of Ronald V. Book to the theory of string-rewriting systems |
scientific article |
Statements
Contributions of Ronald V. Book to the theory of string-rewriting systems (English)
0 references
12 January 1999
0 references
Church--Rosser property
0 references
Monoid presentation
0 references
Semi-Thue systems
0 references
String rewriting
0 references
Thue systems
0 references
