Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
.... Матиясевич Ю.В. Матросов В.Л. Медведев Ю.Т. Мейтус В.Ю. Мендельсон Э. Микенберг А.М. Миллер С. Минский М. Михеев В.Л. Мокацян А.А. Морозов А. С. МучникАА МучникАнА Мясников А.Г. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мучник А.А. [1956] Неразрешимость проблемы сводимости теории алгоритмов ДАН СССР, 108, №2, 194-197 57.49 ROS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мучник А.А. [1963] О сильной и слабой сводимости алгоритмических проблем Сибирск. матем. журнал, 4, № 6, 1328-1341 65.01.62 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мучник А.А. [1970] О двух подходах к классификации рекурсивных функций Сб. Проблемы математической логики, М., Мир, 123-138 71.04.45 О статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мучник А.А. [1956] Об отделимости рекурсивно перечислимых множеств ДАН СССР, 109, № 1 , 29-32 59.6532 ROS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мучник Ан. А., Посицельский С.Е. [1999] Об одном классе перечислимых множеств Успехи мат. наук, 54, № 3, 171-172 01.01.118 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мучник А.А. [1958] Изоморфизм систем рекурсивно перечислимых множеств с эффективными свойствами Труды Моск. матем. о-ва, 7 , 407-412 59.2240 REOS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мучник Ан. А. [1985] Об основных структурах дескриптивной теории алгоритмов ДАН СССР, 285, №2, 280-283 86.05.66 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мучник А.А. [1965] О сводимости проблем разрешения перечислимых множеств к проблемам отделимости Изв. АН СССР, сер. мат., 29, № 3, 717-724 66.02.68 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Мучник А.А. [1958] Решение проблемы сводимости Поста и некоторых других проблем теории алгоритмов Труды Моск. матем. о-ва, 7 , 391-405 59.8722 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Козмидиади В.А., Мучник А.А. (ред.) [1970] Сб. переводов «Проблемы в математической логике; Сложность алгоритмов и классы вычислимых функций» М., Мир 71.01.50 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.