Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Денисов С.Д. [1970] Об m -степенях рекурсивно перечислимых множеств Алгебра и логика, 9, № 4, 422-427 ? EOS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Денисов С.Д. [1974] Три теоремы об элементарных теориях и tt -сводимости Алгебра и логика, 13, № 1, 5-8 ? OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Денисов С.Д. [1972] Модели непротиворечивой формулы и иерархия Ершова Алгебра и логика, 11, № 6, 648-655 73.08.57 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Денисов С.Д. [1975] Двухэлементное отделимое нумерованное множество S с неразрешимой проблемой P ( S , S ) Алгебра и логика, 14, № 5, 523-532 76.07.94 EO статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Денисов С.Д. [1978] Строение верхней полурешетки рекурсивно перечислимых m -степеней и смежные вопросы, I Алгебра и логика, 17, № 6, 643-683 79.10.43 OS статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Денисов С.Д., Лавров И.А. [1970] Полные нумерации с бесконечным числом особых элементов Алгебра и логика, 9, № 5, 503-509 71.04.57 E статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Д Дворников С.Г. Дегтев А.Н. Денисов С.Д. Джеффри Р. Дзгоев В.Д. Дичев А. Добрица В.П. Доуни Р. Драгалин А.Г. Дроботун Б.Н. Дурнев В.Г. Душский В.А. Дымент Е.З. Вернуться на главную ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.