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

Статья

The undecidability theorem for the Horn-like fragment of linear logic (Revisited).

Mathematical Structures in Computer Science. 2016. Vol. 26. No. 5. P. 719-744.