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

Глава

Two-sided unification is NP-complete

P. 55-61.
Zakharov V., Новикова Т. А.

В книге

Linz: Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2014.