Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ЦЭМИ РАН
Главная
Поиск
Статистика
О проекте
Помощь
Logical Aspects of Computational Linguistics - 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
сборник
Год издания:
2012
Серия:
Lecture Notes in Computer Science
Том:
7351
Место издания:
Springer
Добавил в систему:
Кузнецов Степан Львович
Статьи, опубликованные в сборнике
2012
L-completeness of the Lambek calculus with the reversal operation
Kuznetsov S.
в сборнике
Logical Aspects of Computational Linguistics - 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
, серия
Lecture Notes in Computer Science
, место издания
Springer
, том 7351, с. 151-160
DOI
2012
On the Completeness of Lambek Calculus with Respect to Cofinite Language Models
Sorokin Alexey
в сборнике
Logical Aspects of Computational Linguistics - 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
, серия
Lecture Notes in Computer Science
, место издания
Springer
, том 7351, с. 229-233
DOI