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

Глава

A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order

P. 22:1-22:17.
Kanovich M., Kuznetsov S., Morrill G., Scedrov A.

В книге

Vol. 84: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). 2017.