A polynomial-time algorithm for Lambek grammars of bounded orderстатья

Дата последнего поиска статьи во внешних источниках: 28 мая 2015 г.