Институт системного программирования им. В.П. Иванникова РАН


О проблеме эквивалентности в одном классе монадических линейных программ.

Авторы

Захаров В.А.

Аннотация

Установлена разрешимость за полиномиальное время проблемы эквивалентности монодических рекурсивных схем программ с частично перестановочными (коммутативными) операторами.

Издание

Тезисы докладов 15-ой международной конференции «Проблемы теоретической кибернетики» (Казань, 2-7 июня, 2008 г.).

Научная группа

Теоретическая информатика

Все публикации за 2008 год Все публикации