Malcev presentations for subsemigroups of direct products of ...

Math. Proc. Cambridge Philos. Soc., , no. (), pp. –../s.[ECH + ] D. B. A. Epstein, J. W. Cannon, D. F. Holt, S. V. F. Levy, M. S. Paterson,& W. P. Thurston. Word Processing in Groups. Jones & Bartlett, Boston,Mass., .[Gru] F. J. Grunewald. ‘On some groups which cannot be finitely presented’. J.London Math. Soc. (2), , no. (), pp. –. doi: ./jlms/s-...[HU] J. E. Hopcroft & J. D. Ullman. Introduction to Automata Theory, Languages,and Computation. Addison–Wesley Publishing Co., Reading, Mass., .[LS] R. C. Lyndon & P. E. Schupp. Combinatorial Group Theory, vol. of Ergebnisseder Mathematik und ihrer Grenzgebiete. Springer-Verlag, Berlin, .[Mal] A. I. Malcev. ‘On the immersion of associative systems in groups’. Mat.Sbornik, , no. (), pp. –. [In Russian.].[Mal] A. I. Malcev. ‘On the immersion of associative systems in groups II’. Mat.Sbornik, , no. (), pp. –. [In Russian.].[Mar] A. A. Markov. ‘On finitely generated subsemigroups of a free semigroup’.Semigroup Forum, , no. (/), pp. –. doi:./BF.[Mil] C. F. Miller, III. ‘Subgroups of direct products with a free group’. Q. J.Math., , no. (), pp. –.[MS] D. E. Muller & P. E. Schupp. ‘Groups, the theory of ends, and contextfreelanguages’. J. Comput. System Sci., , no. (), pp. –. doi:./-()-X.[Réd] L. Rédei. Theorie der Endlich Erzeugbaren Kommutativen Halbgruppen,vol. of Hamburger Mathematische Einzelschriften. Physica-Verlag,Würzburg, . [In German. See [Réd] for a translation.].[Réd] L. Rédei. The Theory of Finitely Generated Commutative Semigroups. PergamonPress, Oxford, . [Translated from the German. Edited byN. Reilly.].[Ros] J. M. Rosenblatt. ‘Invariant measures and growth conditions’. Trans.Amer. Math. Soc., (), pp. –. doi: ./.[Ser] J. P. Serre. ‘Problem section’. In J. Cossey, ed., Proceedings of the SecondInternational Conference on the Theory of Groups (Australian Nat. Univ., Canberra,1973), vol. of Lecture Notes in Math., pp. –, Berlin, .Springer.[Sim] C. C. Sims. Computation with Finitely Presented Groups, vol. of Encyclopediaof Mathematics and its Applications. Cambridge University Press,Cambridge, .[Spe] J. C. Spehner. ‘Présentations et présentations simplifiables d’un monoïdesimplifiable’. Semigroup Forum, , no. (), pp. –. [In French.].doi: ./BF.[Spe] J. C. Spehner. ‘Every finitely generated submonoid of a free monoid hasa finite Malcev’s presentation’. J. Pure Appl. Algebra, , no. (), pp.–. doi: ./-()-.doi: