Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Денисов С.Д. [1970] Об m -степенях рекурсивно перечислимых множеств Алгебра и логика, 9, № 4, 422-427 ? EOS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Денисов С.Д. [1974] Три теоремы об элементарных теориях и tt -сводимости Алгебра и логика, 13, № 1, 5-8 ? OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Денисов С.Д. [1972] Модели непротиворечивой формулы и иерархия Ершова Алгебра и логика, 11, № 6, 648-655 73.08.57 G статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Денисов С.Д. [1975] Двухэлементное отделимое нумерованное множество S с неразрешимой проблемой P ( S , S ) Алгебра и логика, 14, № 5, 523-532 76.07.94 EO статья Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Денисов С.Д. [1978] Строение верхней полурешетки рекурсивно перечислимых m -степеней и смежные вопросы, I Алгебра и логика, 17, № 6, 643-683 79.10.43 OS статья Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Денисов С.Д., Лавров И.А. [1970] Полные нумерации с бесконечным числом особых элементов Алгебра и логика, 9, № 5, 503-509 71.04.57 E статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Д Дворников С.Г. Дегтев А.Н. Денисов С.Д. Джеффри Р. Дзгоев В.Д. Дичев А. Добрица В.П. Доуни Р. Драгалин А.Г. Дроботун Б.Н. Дурнев В.Г. Душский В.А. Дымент Е.З. Вернуться на главную ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.