• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements

Fundamenta Informaticae. 2016. Vol. 147. No. 2-3. P. 315-336.