Две теоремы существования для вычислимых нумераций.
Algebra i Logika (1969)
- Volume: 8, Issue: 4, page 483-492
- ISSN: 0373-9252
Access Full Article
topHow to cite
topХуторецкий, А.Б.. "Две теоремы существования для вычислимых нумераций.." Algebra i Logika 8.4 (1969): 483-492. <http://eudml.org/doc/186761>.
@article{Хуторецкий1969,
author = {Хуторецкий, А.Б.},
journal = {Algebra i Logika},
keywords = {рекурсивно перечислимые множества; натуральный ряд; канторовский номер пары чисел; эквивалентность по Тьюрингу; вычислимые нумерации},
language = {rus},
number = {4},
pages = {483-492},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Две теоремы существования для вычислимых нумераций.},
url = {http://eudml.org/doc/186761},
volume = {8},
year = {1969},
}
TY - JOUR
AU - Хуторецкий, А.Б.
TI - Две теоремы существования для вычислимых нумераций.
JO - Algebra i Logika
PY - 1969
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 8
IS - 4
SP - 483
EP - 492
LA - rus
KW - рекурсивно перечислимые множества; натуральный ряд; канторовский номер пары чисел; эквивалентность по Тьюрингу; вычислимые нумерации
UR - http://eudml.org/doc/186761
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.