On ``simple'' undecidable fragments of the positive theory of a free semigroup (Q2211367)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On ``simple'' undecidable fragments of the positive theory of a free semigroup |
scientific article |
Statements
On ``simple'' undecidable fragments of the positive theory of a free semigroup (English)
0 references
11 November 2020
0 references
positive formulas
0 references
free semigroups
0 references
