Кратко Мирослав Иванович

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

1. О задаче соединения элементов вычислительной системы
   
   Сиб. журн. индустр. матем., 9:2 (2006),  81–89
2. Быстрый алгоритм распознавания следствий для монадических логических программ
   
   Автомат. и телемех., 2001, № 10,  91–102
3. Неразрешимость некоторых проблем в теории автоматов Реддинга
   
   Докл. РАН, 329:4 (1993),  416–418
4. Замечание о верхней оценке степени информационных графов
   
   Сиб. матем. журн., 18:5 (1977),  1192–1193
5. О числе переключений, необходимых для разблокировки трехкаскадного коммутатора
   
   Докл. АН СССР, 227:1 (1976),  54–56
6. Информационные графы
   
   Сиб. матем. журн., 11:5 (1970),  1093–1097
7. Об одном классе исчислений Поста
   
   Докл. АН СССР, 165:5 (1965),  994–995
8. О существовании нерекурсивных базисов конечных автоматов
   
   Алгебра и логика. Семинар, 3:2 (1964),  33–44
9. Алгоритмическая неразрешимость проблемы распознавания полноты для конечных автоматов
   
   Докл. АН СССР, 155:1 (1964),  35–37