A proof of Ehrenfeucht's Conjecture
Open Access
- 31 December 1985
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 41 (1) , 121-123
- https://doi.org/10.1016/0304-3975(85)90066-0
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The descending chain condition on solution sets for systems of equations in groupsProceedings of the Edinburgh Mathematical Society, 1986
- The Ehrenfeucht conjecture: a compactness claim for finitely generated free monoidsTheoretical Computer Science, 1984
- Systems of equations over a free monoid and Ehrenfeucht's conjectureDiscrete Mathematics, 1983
- Groups with free 2-generator subsemigroupsSemigroup Forum, 1982
- Test sets and checking words for homomorphism equivalenceJournal of Computer and System Sciences, 1980