Test sets for finite substitutions
- 31 December 1986
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 43, 117-122
- https://doi.org/10.1016/0304-3975(86)90171-4
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The descending chain condition on solution sets for systems of equations in groupsProceedings of the Edinburgh Mathematical Society, 1986
- A proof of Ehrenfeucht's ConjectureTheoretical Computer Science, 1985
- The Ehrenfeucht conjecture: a compactness claim for finitely generated free monoidsTheoretical Computer Science, 1984
- The Semigroup of Ideals of a Fir is (Usually) FreeJournal of the London Mathematical Society, 1975