|
Записки научных семинаров ПОМИ, 2003, том 304, страницы 121–127
(Mi znsl880)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Destinies and decidability
[Предначертания и разрешимость]
P. Cégielski Université Paris XII Val de Marne
Аннотация:
Франсис Незонде предложил новый инструмент, названный предначертания (destiny), используемый для изучения открытых проблем теории чисел. Мы даем достаточное условие вычислимости предначертаний структуры. Библ. – 1 назв.
Поступило: 07.03.2003
Образец цитирования:
P. Cégielski, “Destinies and decidability”, Теория сложности вычислений. VIII, Зап. научн. сем. ПОМИ, 304, ПОМИ, СПб., 2003, 121–127; J. Math. Sci. (N. Y.), 130:2 (2005), 4620–4623
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl880 https://www.mathnet.ru/rus/znsl/v304/p121
|
|