Undecidability of the first order theory of one-step right ground rewriting (Q4594232)
From MaRDI portal
scientific article; zbMATH DE number 6808108
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Undecidability of the first order theory of one-step right ground rewriting |
scientific article; zbMATH DE number 6808108 |
Statements
Undecidability of the first order theory of one-step right ground rewriting (English)
0 references
17 November 2017
0 references
