Глава
Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities
P. 326-340.
Публикация подготовлена по результатам проекта:
Хорошо интерпретируемые методы интеллектуального анализа семантически насыщенных данных и их приложения(2017)