Decidability of termination of grid string rewriting rules (Q2784496)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Decidability of termination of grid string rewriting rules |
scientific article; zbMATH DE number 1732384
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability of termination of grid string rewriting rules |
scientific article; zbMATH DE number 1732384 |
Statements
23 April 2002
0 references
semi-Thue system
0 references
string rewriting system
0 references
one-rule
0 references
termination
0 references
grid rule
0 references
total division order
0 references
0.8934949
0 references
0.8696055
0 references
0.86954916
0 references
0.8651104
0 references
0.8640783
0 references
0.8636117
0 references
0.8630594
0 references
0.8623019
0 references
Decidability of termination of grid string rewriting rules (English)
0 references
