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  -