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


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

Авторы

Захаров В.А.

Ключевые слова

модель программ, оператор засылки констант, NP-трудность

Издание

Труды IV Международной конференции 'Дискретные модели в теории управляющих систем', 2000, МАКС-Пресс, с. 153-154.

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

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

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