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), Exposé no. 61, 11 p. 
@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},
     series = {S\'eminaire Bourbaki},
     note = {talk:61},
     pages = {109--119},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {2},
     year = {1954},
     mrnumber = {1609217},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1951-1954__2__109_0/}
}
TY  - CHAP
AU  - Tamari, Dov
TI  - Machines logiques et problèmes de mots. II : problèmes de mots indécidables
BT  - Séminaire Bourbaki : années 1951/52 - 1952/53 - 1953/54, exposés 50-100
AU  - Collectif
T3  - Séminaire Bourbaki
N1  - talk:61
PY  - 1954
SP  - 109
EP  - 119
IS  - 2
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/SB_1951-1954__2__109_0/
LA  - fr
ID  - SB_1951-1954__2__109_0
ER  - 
%0 Book Section
%A Tamari, Dov
%T Machines logiques et problèmes de mots. II : problèmes de mots indécidables
%B Séminaire Bourbaki : années 1951/52 - 1952/53 - 1953/54, exposés 50-100
%A Collectif
%S Séminaire Bourbaki
%Z talk:61
%D 1954
%P 109-119
%N 2
%I Société mathématique de France
%U http://www.numdam.org/item/SB_1951-1954__2__109_0/
%G fr
%F SB_1951-1954__2__109_0
Tamari, Dov. Machines logiques et problèmes de mots. II : problèmes de mots indécidables, dans Séminaire Bourbaki : années 1951/52 - 1952/53 - 1953/54, exposés 50-100, Séminaire Bourbaki, no. 2 (1954), Exposé no. 61, 11 p. 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 | Zbl

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

[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

[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

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