Machines logiques et problèmes de mots. II : problèmes de mots indécidables
Séminaire Bourbaki : années 1951/52 - 1952/53 - 1953/54, exposés 50-100, Séminaire Bourbaki, no. 2 (1954), Talk no. 61, p. 109-119
@incollection{SB_1951-1954__2__109_0,
     author = {Tamari, Dov},
     title = {Machines logiques et probl\`emes de mots. II : probl\`emes de mots ind\'ecidables},
     booktitle = {S\'eminaire Bourbaki : ann\'ees 1951/52 - 1952/53 - 1953/54, expos\'es 50-100},
     author = {Collectif},
     series = {S\'eminaire Bourbaki},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {2},
     year = {1954},
     note = {talk:61},
     pages = {109-119},
     mrnumber = {1609217},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1951-1954__2__109_0}
}
Tamari, Dov. Machines logiques et problèmes de mots. II : problèmes de mots indécidables, in Séminaire Bourbaki : années 1951/52 - 1952/53 - 1953/54, exposés 50-100, Séminaire Bourbaki, no. 2 (1954), Talk no. 61, pp. 109-119. http://www.numdam.org/item/SB_1951-1954__2__109_0/

[1] Hall, Jr (Marshall). -Finite combinatory processes-formulation, I., J. of symb. Logic, t. 1, 1936, p. 103-105.

[2] Hall, Jr (Marshall).-The word problem for semigroups with two generators, J. of symb. Logic, t. 14, 1949, p. 115-118. | MR 30475 | Zbl 0034.01303

[3] Post (Emil L.). - Recursive unsolvability of a problem of Thue, J. of symb. Logic, t. 12, 1947, p. 1-11. | MR 20527

[4] Thue (Axel). - Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln, Skr. utgit av Videnskapsselskapet i Kristiania, I : Mat.-naturv. Kl., 1914, n° 10, 34 p. | JFM 45.0333.19

[5] Turing (A.M.). - On computable numbers, with an application to the Entscheidungsproblem; Proc. London math. Soc., Series 2, t. 42, 1937, p. 230-265 ; t. 43, 1937, p. 544-546. | JFM 63.0823.02

[6] Turing (A.M.). - The word problem in semi-groups with cancellation, Annals of Math., Series 2, 1950, p. 491-505. | MR 37294 | Zbl 0037.30103