Search results

.... Матиясевич Ю.В. Матросов В.Л. Медведев Ю.Т. Мейтус В.Ю. Мендельсон Э. Микенберг А.М. Миллер С. Минский М. Михеев В.Л. Мокацян А.А. Морозов А. С. МучникАА МучникАнА Мясников А.Г. Вернуться на главную страницу

Мучник А.А. [1956] Неразрешимость проблемы сводимости теории алгоритмов ДАН СССР, 108, №2, 194-197 57.49 ROS статья Вернуться к поиску

Мучник А.А. [1963] О сильной и слабой сводимости алгоритмических проблем Сибирск. матем. журнал, 4, № 6, 1328-1341 65.01.62 статья Вернуться к поиску

Мучник А.А. [1970] О двух подходах к классификации рекурсивных функций Сб. Проблемы математической логики, М., Мир, 123-138 71.04.45 О статья Вернуться к поиску

Мучник А.А. [1956] Об отделимости рекурсивно перечислимых множеств ДАН СССР, 109, № 1 , 29-32 59.6532 ROS статья Вернуться к поиску

Мучник Ан. А., Посицельский С.Е. [1999] Об одном классе перечислимых множеств Успехи мат. наук, 54, № 3, 171-172 01.01.118 статья Вернуться к поиску

Мучник А.А. [1958] Изоморфизм систем рекурсивно перечислимых множеств с эффективными свойствами Труды Моск. матем. о-ва, 7 , 407-412 59.2240 REOS статья Вернуться к поиску

Мучник Ан. А. [1985] Об основных структурах дескриптивной теории алгоритмов ДАН СССР, 285, №2, 280-283 86.05.66 статья Вернуться к поиску

Мучник А.А. [1965] О сводимости проблем разрешения перечислимых множеств к проблемам отделимости Изв. АН СССР, сер. мат., 29, № 3, 717-724 66.02.68 статья Вернуться к поиску

Мучник А.А. [1958] Решение проблемы сводимости Поста и некоторых других проблем теории алгоритмов Труды Моск. матем. о-ва, 7 , 391-405 59.8722 O статья Вернуться к поиску

Козмидиади В.А., Мучник А.А. (ред.) [1970] Сб. переводов «Проблемы в математической логике; Сложность алгоритмов и классы вычислимых функций» М., Мир 71.01.50 книга Вернуться к поиску