This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
A. THUE, 1914: Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln, Skrifter utgit av Videnskapsselskapet; Kristiania, I Metematik naturviderskabelig Klasse 1914, no10, 34p.
A.A. MARKOV, 1947: Sur l’impossibilité de certains algorithmes en théorie des systèmes associatifs, Doklady Akad. Nauk 55, p. 587–590, 58, p 353–356 (en russe).
E. POST, 1947: Recursive unsolvability of a problem of Thue, J. of Symbolic Logic 12, p 1–11.
P.S. NOVIKOV, 1955: Sur la non résolubilité algorithmique du problème de l’égalité des mots en théorie des groupes. Tr. Matem. In-ta A.N. SSR, t.44, p 1–144 (en russe).
W.W. BOONE: The word problem, Annals of Math. 70, no2, p 207–265.
P.S. NOVIKOV et S.I. ADJAN, 1968: Sur les groupes périodiques infinis, I, II, III, Iav. Akad. Nauk SSSR 32, p 212–244, p 251–524, p 709–731. Relations de définition et probleme de l’égalité pour les groupes périodiques d’ordre impair, p 971–979 (en russe).
J.L. BRITTON, 1973: The existence of infinite Burnside groups, in "Word problems: Decision problems and the Burnside problem in group theory", North Holland Amsterdam 1973, p 67–348.
D. FOATA et M.P. SCHUTZENBERGER, 1974: Etude géométrique des polynômes eulériens Lecture notes in Mathematics, vol 514, Springer Verlag, Berlin-New-York.
P. CARTIER et D. FOATA, 1969: Problèmes combinatoires de commutation et réarrangements Lecture notes in Mathematics, vol 85 Springer-Verlag Berlin-New-York.
A.A. MARKOV, 1954: Théorie des algorithmes Tr. Matem. In-ta A.N. SSSR, t.42 (ren russe).
A.T. MAL’CEV, 1965: Algorithmes et fonctions recursives, Moscou (en russe).
G.S. TZEITIN, 1958: Calculs associatifs avec problème d’équivalence non résoluble, Tr. Matem. In-ta A.N. SSSR, t.52 p 172–189.
J. MATIJASEVIC, 1967: Exemple simple de calcul canonique non résoluble, Doklady Akad. Nauk, 173 p 1264–1266 (voir aussi Tr. Matem. In-ta A.N. SSSR t.93, p 50–88) (en russe).
S.I. ADJAN, 1966: Relations de définition et problèmes algorithmiques pour les groupes et semigroupes, Tr. Matem. In-ta A.N. SSSR t.85 (en russe).
W. MAGNUS, 1932: Das Identitätsproblem für Gruppen mit einer definierenden Relation, Math. Ann. 106, p 295–307.
G. LALLEMENT, 1974: On monoids presented by a single relation, J. of Algebra 32, p 370–388.
DYSON, 1964: The word problem and residually finite groups, Notices Amer. Math. Soc. 11, p 743.
G. SABBAGH, 1974: Caracterisation algébrique des groupes de type fini ayant un problème de mots résolubles, Séminaire N. Bourbaki 27ème année 1974–75, no457, nov. 1974 (Lectures Notes in Mathematics, vol 514, Springer-Verlag).
A.V. KUZNETZOV, 1958: Algorithmes comme opérations dans les systèmes algébriques Uspeki Matem Nauk, 13 no3, p 240–241.
B.H. NEUMANN, 1973: The isomorphism problem for algebraically closed groups, in "Word problems: Decision problems and the Burnside problem in group theory", North Holland, Amsterdam, p 553–562.
A. MACINTYRE, 1972: On algebraically closed groups, Annals of Math. 96, p 53–97.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1977 Springer-Verlag
About this paper
Cite this paper
Lallement, G. (1977). Presentations de monoides et problems algorithmiques. In: Malliavin, M.P. (eds) Séminaire d’Algèbre Paul Dubreil Paris 1975–1976 (29ème Année). Lecture Notes in Mathematics, vol 586. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0087129
Download citation
DOI: https://doi.org/10.1007/BFb0087129
Received:
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08243-9
Online ISBN: 978-3-540-37369-8
eBook Packages: Springer Book Archive
