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

Статья

Product-Free Lambek Calculus Is NP-Complete

Annals of Pure and Applied Logic. 2012. Vol. 163. P. 775-788.
Savateev Y.