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

Глава

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

P. 22:1-22:17.

В книге

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