• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
  • HSE University
  • Publications of HSE
  • Articles
  • Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами

Article

Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами

Подымов В. В., Захаров В. А.