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

Глава

An efficient equivalence-checking algorithm for a model of programs with commutative and absorptive statements

P. 85-96.