Machines logiques et problèmes de mots. I : les machines de Turing (T.M.)
Séminaire Bourbaki (1951-1954)
- Volume: 2, page 47-58
- ISSN: 0303-1179
Access Full Article
top
How to cite
topTamari, Dov. "Machines logiques et problèmes de mots. I : les machines de Turing (T.M.)." Séminaire Bourbaki 2 (1951-1954): 47-58. <http://eudml.org/doc/109488>.
@article{Tamari1951-1954,
author = {Tamari, Dov},
journal = {Séminaire Bourbaki},
language = {fre},
pages = {47-58},
publisher = {Société Mathématique de France},
title = {Machines logiques et problèmes de mots. I : les machines de Turing (T.M.)},
url = {http://eudml.org/doc/109488},
volume = {2},
year = {1951-1954},
}
TY - JOUR
AU - Tamari, Dov
TI - Machines logiques et problèmes de mots. I : les machines de Turing (T.M.)
JO - Séminaire Bourbaki
PY - 1951-1954
PB - Société Mathématique de France
VL - 2
SP - 47
EP - 58
LA - fre
UR - http://eudml.org/doc/109488
ER -
References
top- [1] Post ( Emil). - Recursive unsolvability of a problem of Thue, J. symb. Logic, t. 12, 1947, p. 1-11. Zbl1263.03030MR20527
- [2] Turing ( A.M.). - On computable numbers, with an application to the Entscheidungsproblem, Proc. London math. Soc., Series 2, t. 42, 1937, p. 230-265. Zbl62.1059.03JFM62.1059.03
- [3] Turing ( A.M.). - On computable numbers, with an application to the Entscheidungsproblem, A correction, Proc. London math. Soc., Series 2, t. 43, 1938, p. 544-546. Zbl0018.19304JFM63.0823.02
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.