Мучник Альберт Абрамович

Публикации в базе данных Math-Net.Ru

1. Об $S5$-$T$-$Y$ логиках
   
   Препринты ИПМ им. М. В. Келдыша, 2007, 086, 8 стр.
2. Регулярные линейные и вероятностные события
   
   Тр. МИАН СССР, 133 (1973),  149–168
3. О сводимости проблем разрешения перечислимых множеств к проблемам отделимости
   
   Изв. АН СССР. Сер. матем., 29:3 (1965),  717–724
4. О сильной и слабой сводимости алгоритмических проблем
   
   Сиб. матем. журн., 4:6 (1963),  1328–1341
5. О полноте системы ненадежных элементов, реализующих функции алгебры логики
   
   Докл. АН СССР, 144:5 (1962),  1007–1010
6. А. А. Мучник–Р. Фридберг. Проблема сводимости перечислимых множеств
   
   Матем. просв., сер. 2, 4 (1959),  233–236
7. Изоморфизм систем рекурсивно перечислимых множеств с эффективными свойствами
   
   Тр. ММО, 7 (1958),  407–412
8. Решение проблемы сводимости Поста и некоторых других проблем теории алгоритмов. I
   
   Тр. ММО, 7 (1958),  391–405