The Ehrenfeucht conjecture: An algebra-framework for its proof (Q1080530)
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: The Ehrenfeucht conjecture: An algebra-framework for its proof |
scientific article; zbMATH DE number 3966460
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Ehrenfeucht conjecture: An algebra-framework for its proof |
scientific article; zbMATH DE number 3966460 |
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
0 references
0.9038006
0 references
0 references
0.88968086
0 references
0.88674915
0 references
0.8862607
0 references
