Undecidable Properties on Length-Two String Rewriting Systems (Q2873677)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Undecidable Properties on Length-Two String Rewriting Systems |
scientific article |
Statements
Undecidable Properties on Length-Two String Rewriting Systems (English)
0 references
24 January 2014
0 references
rewriting system
0 references
confluence
0 references
left-most termination
0 references
right-most termination
0 references
length-two string rewriting system
0 references
0 references
