The Ehrenfeucht conjecture: An algebra-framework for its proof (Q1080530)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Ehrenfeucht conjecture: An algebra-framework for its proof |
scientific article |
Statements
The Ehrenfeucht conjecture: An algebra-framework for its proof (English)
0 references
1986
0 references
The Ehrenfeucht conjecture for word semigroups was first proved by \textit{M. H. Albert} and \textit{J. Lawrence} [Theor. Comput. Sci. 41, 121-123 (1985)] and by \textit{V. S. Guba} (unpublished). In the present proof the author makes use of the affine monoids of rings and Hilbert's basis theorem.
0 references
Ehrenfeucht conjecture
0 references
word semigroups
0 references
affine monoids
0 references
